An Etymological Dictionary of Astronomy and Astrophysics

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.

See also: → partition; → set.