Relation PRIME-COMPONENT-OF

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