In mathematics, the axiom of choice, abbreviated AC or AoC, is an axiom of set theory equivalent to the statement that a Cartesian product of a collection of non-empty sets is non-empty. Wikipedia

Axiom of set theory. Wikipedia Disambiguation

Statement that the product of a collection of non-empty sets is non-empty Wikidata

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. Wiktionary

Axiom that any product of non-empty sets is non-empty. Wiktionary (translation)