Tegyük fel, hogy és nem üres halmazok. Az halmaz eleme az összes olyan ) alapú rendezett pár, ahol eleme -nak, és eleme -nek.
Az halmazt az és halmazok direkt [Descartes-féle] szorzatának nevezzük.