Infinitary Cartesian Products

The Axiom of Choice