theorem :: TAXONOM2:8

{} is mutually-disjoint ;