Verband/Ordnungstheoretisch/Absorptionsgesetz/Aufgabe/Lösung

Es ist direkt

{}x\leq x\sqcup (x\sqcap y)\,.

Ferner ist

{}x\sqcap y\leq x\,

und somit ist ${}x$ eine obere Schranke von ${}x$ und von ${}x\sqcap y$ und daher ist

{}x\sqcup (x\sqcap y)\leq x\,.

Aus der Antisymmetrie folgt

{}x=x\sqcup (x\sqcap y)\,.