(* ====================== 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.

(* Specifications: *)
Axiom asymmetric_Part        : forall A B, A ε pt B ⊃ B ε (distinct (pt A)).        (*A1*)
Axiom transitive_Part        : forall A B C, A ε pt B ∧ B ε pt C ⊃ A ε pt C.        (*A2*)
Parameter MD1                : forall A B, A ε el B ≡≡ (A ε A ∧ (singular_equality A B ∨ A ε pt B)).