{} is mutually-disjoint ;