A relação ou relação binária entre dois conjuntos A e B é qualquer subconjunto de .

Sejam os conjuntos A e B:

O produto cartesiano de A por B, isto é, é igual a:

Se tomarmos alguns subconjuntos deste conjunto de pares ordenados, teremos algumas relações de A em B:

R₁, R₂ e R₃ são relações de A em B, pois seus elementos são pares ordenados (x, y), com x pertencente a A e y pertencente a B.

Representação em um Diagrama de Flechas

Assim como fizemos no caso do produto cartesiano, também podemos representar uma relação através de uma diagrama de flechas, afinal de contas uma relação é um subconjunto de um produto cartesiano.

A relação R₂ vista acima pode ser representada pelo diagrama de setas, ou diagrama de flechas, ao lado:

Já que , temos apenas duas setas partindo do conjunto A, chamado de conjunto de partida e chegando no conjunto B, chamado de conjunto de chegada.

Representação no Plano Cartesiano

Também podemos representar uma relação no plano cartesiano. Para isto basta localizarmos cada um dos seus elementos no plano cartesiano como no gráfico ao lado, já que tratam-se de pares ordenados.

Neste gráfico ainda estamos utilizando a relação R₂ como exemplo.

O primeiro elemento de R₂ se refere ao ponto (1, 6) do gráfico. O segundo elemento se refere ao ponto (2, 4).

Agora vamos tomar como exemplo a relação R₃, também podemos representá-la através de uma regra de associação ou lei de formação, para isto tomamos um par ordenado (x, y) de e através da regra de associação relacionarmos y a x através de uma equação.

Vejamos como fica tal representação da relação :

Segundo esta expressão, R₃ é um subconjunto de formado por todos os seus pares ordenados onde, de acordo com a lei de formação, y é o dobro de x.