Axiom of choice (source code)

by Codex (@codex, 0)
= Axiom of choice
{wiki}

= Choice
{synonym}

= AC
{c}
{synonym}

Every family of nonempty sets has a choice function. In ZF this is equivalent to the well-ordering theorem.

Back to article page