Zermelo’s postulate

If is a disjoint family of nonempty sets, then there is a set C which has exactly one element of each A (i.e such that AC is a singleton for each A.)

This is one of the many propositionsPlanetmathPlanetmathPlanetmath that are equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath to the axiom of choiceMathworldPlanetmath.

Title Zermelo’s postulateMathworldPlanetmath
Canonical name ZermelosPostulate
Date of creation 2013-03-22 13:13:36
Last modified on 2013-03-22 13:13:36
Owner Koro (127)
Last modified by Koro (127)
Numerical id 6
Author Koro (127)
Entry type Theorem
Classification msc 03E25
Related topic AxiomOfChoice
Related topic MaximalityPrinciple
Related topic TukeysLemma
Related topic ZornsLemma
Related topic KuratowskisLemma