(* =========================== MEREOLOGICAL THEOREMS ========================== *)

Lemma MereoT50 : forall A a, A ε (Kl (coll a)) ⊃ forall B, B ε (el A) ⊃
¬forall C D, ¬(C ε a ∧ D ε (el C) ∧ D ε (el B)). (* TM31 *)