Diskrete Mathematik/Gemischte Definitionsabfrage/8/Aufgabe/Lösung

${\displaystyle {}x\in M}$

${\displaystyle {}y\in M}$

${\displaystyle {}x\circ y=e=y\circ x\,}$

gilt.

${\displaystyle {}M}$

${\displaystyle {}x\sqcap {\left(y\sqcup z\right)}={\left(x\sqcap y\right)}\sqcup {\left(x\sqcap z\right)}\,}$

und

${\displaystyle {}x\sqcup {\left(y\sqcap z\right)}={\left(x\sqcup y\right)}\sqcap {\left(x\sqcup z\right)}\,}$

gelten.