Formale Informatik: Ordnungen und Verbände

[P. M.]

Hallo zusammen

Zur Abwechslung mal ein bisschen Mathematik:

Habe einige Relationen (R1, R2, R3) gegeben und soll nun beurteilen ob es sich dabei um Verbände handelt und wenn nein soll ich die kleinste Menge angeben so dass die Relation ein Verband ist. Wie macht man das?

R1 = {(4,4),(6,6),(8,8),(4,8)}
R2 = {(3,3),(4,4),(6,6),(3,6)}
R3 = {(8,8),(18,18),(27,27)}

P.M.