( ∀ i ∈ I : S i ≠ ∅ ) ⟹ ∏ i ∈ I S i ≠ ∅
axiome du choix
axiom of choice
Auswahlaxiom
statement that the product of a collection of non-empty sets is non-empty
Axiom der Mengenlehre