Axiom of choice

Layer 0 — Mathematicsin the set-theory subtree

For any collection of nonempty sets, there exists a function selecting one element from each.