To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: Set theory assertion that if S is a set of disjoint, non-empty sets, then there exists a set containing exactly one member from each member of S. [d] [e]