The axiom of 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. The axiom is problematic because it asserts the existence of an object that there may be no way of constructing, and thus offends against mathematical constructivism.