Sendo
e
, escrever sob a forma de conjuntos as relações de
em
, com
e
, dadas por:
é divisor de
Passo 1
Temos os conjuntos
e
. Queremos construir a relação
isto é, verificar para cada
quais
satisfazem
.
Passo 2
Para
, como
é divisor de todo inteiro, todos os elementos de
são múltiplos de
. Logo, os pares que entram em
são
Passo 3
Para
, verificamos em
quais são múltiplos de
. São apenas
e
. Portanto, na relação aparecem
Passo 4
Para
, apenas
é múltiplo de
, gerando o par
.
Para , não há elemento em
divisível por
, logo não surgem pares com
.
Para
Passo 5
Reunindo todos os pares obtidos, a relação é