No gráfico como apresentado o eixo das abcissas representa o '''domínio''' da relação, e o eixo das ordenadas representa o '''contra-domínio''' da relação.
== Função ==
Existe um tipo especial de relação que é chamado '''função''': é a relação na qual, para todo elemento do domínio, há correspondência de um (e somente um) elemento no contradomínio. A função normalmente é simbolizada por ''f(x)'' (sendo x uma ''variável'', ou seja, um valor que pode representar qualquer elemento do conjunto domínio).
Como conseqüência natural da correspondência biunívoca entre elementos do domínio e contradomínio, a função é sempre uma relação definida por uma equação (pois uma inequação associa um elemento do domínio a vários elementos do contradomínio).
As funções são estudadas com mais detalhes no [[Matemática Elementar: Funções|próximo capítulo]].
