Seja
. Construa todas as relações abaixo:
Passo 1
O enunciado dá o conjunto
e define a relação
em
por
Ou seja, precisamos encontrar todos os pares
em
tais que, ao dobrar
, o resultado ainda pertença a
.
Passo 2
Vamos testar cada
:
- Para
, temos , e . Então pertence a . - Para
, temos , e . Então pertence a . - Para
, temos , mas . Logo não incluímos . - Para
, temos , mas . Logo não incluímos .
Portanto, só os dois primeiros pares satisfazem a condição.