Ensemble (mathématiques)/Produit

Modèle:Définition Formellement, le couple $(x,y)$ peut être défini ainsi : si $x$ et $y$ sont deux objets, alors $(x,y)=\{\{x\},\{x,y\}\}$. Cette définition assure en particulier que $(a,b)=(c,d)⟺(a=c\text{ et }b=d)$.