Axiom of choice

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