Categories
Sex and Gender

Logic

  1. tw ⊆ m ;
  2. w ⊆ f ;
  3. m f = ∅ .

∴ tw w = ∅    ⇒    tw  ≠ w