Verband/Ordnungstheoretisch/Assoziativ/Aufgabe/Lösung


Zum Nachweis der Assoziativität seien gegeben. Wir vergleichen und . Es ist

und ebenso

Damit ist also

Da das Supremum von und ist, folgt

Daher ist auch

Die andere Abschätzung gilt genauso, aus der Antisymmetrie der Ordnung folgt somit die Gleichheit.