Unter dem kartesischen Produkt zweier Mengen und versteht man die Menge aller geordneten Paare
Speziell für zwei gleiche Mengen:
Allgemeiner versteht man unter dem -fachen kartesischen Produkt von (mit ) die Menge aller -Tupel:
speziell mit dem leeren Tupel und .
Beispiel