LetA = {1,2,3,4,6} a R je vzťah definovaný R = {(a, b): a, b A, b je presne deliteľný znakom a}? 1 = zápis R do formulára

odpoveď:

#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)} #.

vysvetlenie:

vzťah # R # na sada # A = {1,2,3,4,6} # je definovaný

# R = (a, b): sub AxxA #.

Vzhľadom k tomu, #AA a v A, 1 | a rArr (1, a) v R, AA a v A #.

Ďalšie, # 2 | 2; 2 | 4; RArr (2,2), (2,4), (2,6) v R #.

Týmto spôsobom nájdeme, #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)} #.