Axiom of choice/Definition
Jump to navigation
Jump to search

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.