Dada uma função f: A → B tal que y = f(x), onde x é um elemento do conjunto A e y é um elemento do conjunto B. Neste caso, pode-se dizer que o par ordenado (x, y) pertence à função f(x).

Assim, par ordenado (-0.5, 3) pertence à função: