(matematika) A halmazelméletben az és halmaz Descartes-szorzatán [ejtsd: dékárt-szorzat] (vagy direkt szorzatán) azt a halmazt értjük, melynek azon rendezett párok az elemei, amiknek első eleme A-beli, második eleme pedig B-beli és a szorzat minden lehetséges párt tartalmaz. A szorzatot az szimbólum jelöli, melyet "A kereszt B"-nek olvasunk, és nem "A-szor B"-nek. A Descartes-szorzat általánosítható oly módon, hogy nem csak két halmaz Descartes-szorzatát lehessen képezni, hanem akárhány n pozitív egész számú, sőt akár tetszőleges (végtelen) sok halmaz szorzatát is.