Другі, і больш абстрактнае, спосаб вызначэння функцыі f:у⟶B з'яўляецца як падмноства ⨯ B такая, што для кожнага элемента х з А існуе адна і толькі адна пара замовіла ў подмножестве, першы элемент якога роўны x.