Relação entre Conjuntos
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:
R1, R2 e R3 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 R2 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 R2 como exemplo.
O primeiro elemento de R2 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 R3, 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, R3 é um subconjunto de formado por todos os seus pares ordenados onde, de acordo com a lei de formação, y é o dobro de x.