# Definition talk:Cartesian Product/Family of Sets

Non-emptiness of this construct is equivalent to the axiom of choice for mappings $S \to I$; there has to come a note mentioning this. --Lord_Farin 15:33, 12 July 2012 (UTC)