axiom of choice
statement that the product of a collection of non-empty sets is non-empty
axiom of dependent choice
weak form of the axiom of choice
axiom of countable choice
axiom of set theory, asserting that the product of a countable family of nonempty sets is nonempty