(* ====================== MEREOLOGICAL DEFINITIONS & AXIOMS ============================= *)
Parameter el       : Morphism_N_N.
Parameter Kl       : Morphism_N_N.
Parameter coll     : N -> N.
Parameter subcoll  : N -> N.
Parameter ext      : N -> N.
Parameter compl    : N -> N -> N.
Parameter ov       : N -> N.
Parameter union    : N -> N -> N.
Parameter discrete : N -> Prop.
Parameter U        : N.

Axiom asymmetric_Part        : forall A B, A ε pt B ⊃ B ε (distinct (pt A)).        (*A1*)