Definition:Cartesian Product (Class Theory)