Definition:Cartesian Product of Two Sets