TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 452

Man zeige, dass die folgenden zwei algebraischen Strukturen Verbände sind. Welche sind außerdem distributiv, und welche sind Boolsche Algebren?

(a) (P(A), ∩, ∪)

(b) $(M=\{X\subseteq \mathbb{N}\mid \text{X ist endlich oder }\mathbb{N}\setminus \text{X ist endlich}\},\cap ,\cup )$

Dieses Beispiel ist als Datei markiert. Ist dies falsch oder ungenau? Aktualisiere den Lösungsstatus (Details: Vorlage:Beispiel)

Lösung

Die Lösung findest du hier: Datei:TU Wien-Algebra und Diskrete Mathematik UE (diverse)-Übungen WS17 - Beispiel 442.pdf