Uma relação é um vínculo ou uma correspondência. No caso da relação matemática, trata-se da correspondência que existe entre dois conjuntos: a cada elemento do primeiro conjunto corresponde pelo menos um elemento do segundo conjunto. Quando a cada elemento de um conjunto corresponde unicamente um ou outro, fala-se de função. Isto significa que as funções matemáticas são sempre, por sua vez, relações matemáticas, mas que as relações nem sempre são funções.

O domínio de uma função também é chamado de campo de definição ou campo de existência da função, é um sinônimo para conjunto de saída. E o conjunto imagem é composto por todos os elementos em que as flechas de relacionamento chegam, ou seja, aqueles elementos que tiveram correspondência com o conjunto de saída.

Enumerando os elementos da relação IN em Z, onde os pares ordenados satisfazem a equação

y = - 2x + 1, e IN = (0, 1, 2, 3) e Z=( - 1,  - 2, - 3 , - 5, 1), temos como imagem, os elementos:

Lembre-se que os valores de y devem estar em Z, pois a relação pedida é IN x Z.

• S = {- 1, - 3 e 5}.

• S = {– 1, 3 e 5}.

• S = {– 1, - 3, - 5 e 1}.

• S = {– 1, - 2, - 3 e - 5}.

• S = { - 3 e 5}.