Axiom of choice/Definition

Set theory asserting 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.