An axiom in Set Theory.

Axiom

Given a Collection of non-empty sets, it is possible to construct a new set by choosing one element from each set, even if the collection is infinite