(a,b)∈RA oder \( (b, a) \in R^{\mathcal{A}} \) oder \( a=b \).
soll erfüllt sein.
(d,d) brauchst du nicht; denn das ist ja der Fall \( a=b \)
Man könnte "konnex" in Worten so beschreiben:
Wenn bei einem Paar die beiden Komponenten
verschieden sind, dann muss dieses Paar
(oder das mit den vertauschten Komponenten in R sein.
Du brauchst also (a,d) oder (d,a). Eins von beiden musst du
hinzufügen, ebenso (b,d) und (c,d).