set-theory Definition Cartesian Product The Cartesian product A×B of two sets A and B is defined as: A×B:={(a,b)∣a∈A∧b∈B}