Recordemos queX×Y produce un conjunto de pares ordenados, uno por cada combinación de un elemento deX y un elemento deY. Dado que hay un total de pares|X|⋅|Y| ordenados, y c...Recordemos queX×Y produce un conjunto de pares ordenados, uno por cada combinación de un elemento deX y un elemento deY. Dado que hay un total de pares|X|⋅|Y| ordenados, y cada uno de ellos puede estar presente o ausente de cada relación, debe haber un total de Dicho de otra manera, el conjunto de todas las relaciones entreX yY es el conjunto de poder deX×Y.
