Puede definirse entonces el cuadrado cartesiano de un conjunto como .