What is the meaning of Axiom_of_choice?
One of the axioms of set theory, equivalent to the statement that an arbitrary direct product of non-empty sets is non-empty; any version of said axiom, for example specifying the cardinality of the number of sets from which choices are made.
Source: wiktionary.orgSearch words containing