Також можна сказати, що відображенням (функцією) з X в Y є така відповідність f⊆A×B, в якій кожному елементові a∈Pr1f відповідає тільки один елемент з Pr2f (тут × — Декартів добуток множин, Pr1f та Pr2f — відповідні проєкції відображення). Множина всіх функцій f : X → Y позначається як YX. При цьому потужність множини |YX| = |Y||X|.