Sejam m:A → B e n: C → D duas funções. Podemos afirmar que as funções m e n são iguais se, e somente se:

I. A = C.
II. B = D.
III. m(x) = n(x) para todo x do domínio.

Sobre as afirmações acima, podemos afirmar que