Definition:Factor of Cartesian Product