axiom of choice
noun
°One of the axioms in axiomatic set theory, equivalent to the statement that an arbitrary direct product of non-empty sets is non-empty.