Definition:Cartesian Product of Family