A collection of → nonempty subsets of a set A such that every element of A is in exactly one of the subsets. In other words, A is the → disjoint → union of these subsets.
→ partition; → set.