Menge/Zweielementige Menge/Abbildungen/Verband/Aufgabe

Wir versehen die zweielementige Menge ${}\{0,1\}$ mit der Ordnung ${}0<1$. Es sei ${}S$ eine Menge. Zeige, dass die Verbandsstruktur auf der Abbildungsmenge ${}\operatorname {Abb} \,{\left(S,\{0,1\}\right)}$ im Sinne von Aufgabe als Verband isomorph zum Teilmengenverband ${}{\mathfrak {P}}\,(S)$ ist. Was sind die „atomaren Funktionen“?

Eine Lösung erstellen