LetA = {1,2,3,4,6} und R sei eine Relation auf einem durch R = {(a, b) definierten Wert: a, b A, b ist durch a}? 1 = schreibe R in genau teilbar Dienstplan

Antworten:

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

Erläuterung:

EIN Beziehung # R # auf der einstellen # A = {1,2,3,4,6} # wird definiert durch

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

Schon seit, #AA a in A, 1 | a rArr (1, a) in R, AA a in A #.

Nächster, # 2 | 2; 2 | 4; 2 | 6 rArr (2,2), (2,4), (2,6) in R #.

Wenn wir so vorgehen, finden wir:

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