for X being set st X is mutually-disjoint holds
X \ {{}} is a_partition of union X