Seja o conjunto A \ x in Z| - 2 <= x < 3 \ e o conjunto B {0, 1, 2, 3, 4, 5, 6, 7). Considerando a função f A→B, em que x → f(x) e f(x) = x + 3 os pares ordenados da função serão:
A f = {(- 2, 0), (- 1, 2), (0, 3), (1, 4), (2, 5)}
(B) overline f = {(- 2, 1), (- 1, 2), (0, 3), (1, 4), (2, 5)(3, 6)} .
Cf f = {(- 2, 0), (- 1, 2), (0, 3), (1, 4), (2, 5)(3, 6)}
Df f = {(- 2, 1), (- 1, 2), (0, 3), (1, 4), (2, 5)}
E Não é função, visto que nem todo elemento de A se relaciona com um elemento em B.