Definition:Product of Sets