Mathématiques, informatique, politique et poésie
Le produit cartésien de deux ensembles, noté \(A \times B\), est l'ensemble des couples \((a, b)\) où \(a \in A\) et \(b \in B\). Son existence est assurée dans ZFC car les couples \((a, b)\) sont des éléments de \(\mathcal{P}(\mathcal{P}(A \cup B))\). Le produit cartésien est donc défini par compréhension :