A second, and more abstract, way to define a function f:A⟶B is as subset of A ⨯ B such that for every element x of A there is one and only one ordered pair in the subset whose first element is x.
Другі, і больш абстрактнае, спосаб вызначэння функцыі f:у⟶B з'яўляецца як падмноства ⨯ B такая, што для кожнага элемента х з А існуе адна і толькі адна пара замовіла ў подмножестве, першы элемент якога роўны x.