axiom of choice
statement that the product of a collection of non-empty sets is non-empty
ProofWiki: Axiom:Axiom_of_ChoiceEncyclopedia of Mathematics: Axiom_of_choice
Wikipedia (English): Axiom_of_choice
MathWorld: AxiomofChoice
Agda Unimath: axiom of choice
Wikidata: axiom of choice
nLab: axiom of choice
nLab: axiom%20of%20choice