Legyen A</strong><strong> és </strong><strong>B</strong><strong> két tetszőleges halmaz. Mit értünk </strong><strong>A</strong><strong> és </strong><strong>B</strong><strong> direkt [Descartes-féle] szorzatán?

Tegyük fel, hogy </strong>A<strong> és </strong>B<strong> nem üres halmazok. Az </strong>A*B<strong> halmaz eleme az összes olyan </strong>(a,b<strong>) alapú rendezett pár, ahol </strong>a<strong> eleme </strong>A<strong>-nak, és </strong>b<strong> eleme </strong>B<strong>-nek. Az </strong>A*B<strong> halmazt az </strong>A<strong> és </strong>B<strong> halmazok direkt [Descartes-féle] szorzatának nevezzük.