Függvény, mint egy Descartes-szorzat részhalmaza

Az $f$ halmazt függvénynek nevezzük, ha minden eleme rendezett pár, és ha $ \left< x_1, y_1 \right> \in f$ és $\left< x_1, y_2 \right> \in f$ akkor szükségképpen $y_1 = y_2$