nicht angemeldet
Hallo P.,
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?
Verbunden sind zwei Elemente a=(a1,a2), (b1,b2) einer binären Relation, wenn gilt: a2 = b1
Einen Verbund kann man dann wohl so definieren (meine Vermutung, hab auf die schnelle nix dazu gefunden):
Die (binäre) Relation R ist ein Verbund, gdw für alle (a1,a2),(b1,b2) aus R gilt, dass (a1, a2) indirekt verbunden mit (b1, b2) ist.
Wobei (a1, a2) indirekt verbunden mit (b1, b2) ist, gdw a2 = a1 ist oder ein (c1, c2) aus R existiert, so dass a2 = c1 und (c1, c2) indirekt verbunden mit (b1, b2) ist.
Grüße
Daniel