A strong relation of componentiality, connected to integrity of complexes, specially systems. Quasi-synonym: essential part.
(=> (Prime-Component-Of ?A ?B) (=> (Absent-In ?A ?B) (Not (_Integral ?B True))))