互いに素(交わらない)集合

以下は,「集合$X$,$Y$とが交わらない(共通部分がない)」 という述語を

$$X \cap Y = \phi$$

が成り立つこととして定義しています。空集合$\phi$は$\{\}$で表されています。

 pred X misses Y means :Def7:
   X /\ Y = {};
  symmetry;
  antonym X meets Y;

  symmetry;

は,「集合$X$,$Y$とが交わらない」ならば 「集合$Y$,$X$とが交わらない」も成り立つこと を示しています。(対称性)

  antonym X meets Y;

は,この「集合$X$,$Y$とが交わらない」と反対の 意味をもつ述語が,「集合$X$,$Y$とが交わる」

$$X \ meets \ Y$$

であることを表しています。