Seja
. Construa todas as relações abaixo:
Passo 1
O enunciado define o conjunto
e pede a relação
dada por
Isso é um caso de relação binária em que só importam os pares cujo primeiro elemento é
.
Passo 2
Em geral, a relação está contida em
ou seja, todos os pares ordenados com coordenadas em
.
Passo 3
Aplicando a condição
, mantemos apenas os pares em que a primeira coordenada vale
e a segunda varia em todo o conjunto
.