Daniel Thoma: Formale Informatik: Ordnungen und Verbände

Beitrag lesen

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.

Zusätzlich sollte wohl jedes Element mit sich selbst indirekt Verbunden sein. Ansonsten wäre das bei Deinen Beispielen recht sinnlos, weil nur eingige einelementige Teilrelationen Verbünde wären.