LetA = {1,2,3,4,6} i R és una relació definida per R = {(a, b): a, b A, b és exactament divisible per a}? 1 = escriure R a formulari de llista

Resposta:

#R = {(1,1), (1,2), (1,3), (1,4), (1,6), (2,2), (2,4), (2,6), (3,3), (3,6), (4,4), (6,6)} #.

Explicació:

A Relació # R # a la pàgina conjunt # A = {1,2,3,4,6} # es defineix per, # R = (a, b): un sub axxA #.

Des de, #AA a a A, 1 | a rArr (1, a) a R, AA a a A #.

Pròxim, # 2 | 2; 2 | 4; 2 | 6 rArr (2,2), (2,4), (2,6) a R #.

Procedint d'aquesta manera, trobem, #R = {(1,1), (1,2), (1,3), (1,4), (1,6), (2,2), (2,4), (2,6), (3,3), (3,6), (4,4), (6,6)} #.