- Jointly exhaustive: everything must belong to one part or the other, and
- Mutually exclusive: nothing can belong simultaneously to both parts.
The two parts thus formed are complements. In logic, the partitions are opposites if there exists a proposition such that it holds over one and not the other.