Definíció

Legyen $X$ és $Y$ tetszőleges halmazok. Az $X$ x $Y$ Descartes-szorzat olyan $f$ részhalmazait, melyekre $\forall x \in X$-hez legfeljebb egy olyan $y \in Y$ létezik úgy, hogy: $(x,y)\in f$, $X$-ből $Y$-ba történő leképezésnek vagy függvénynek nevezzük. Jelölés: $f:X\rightarrow Y$.