Abbildung/Bild nehmen/Aufgabe

Es sei

$F\colon L\longrightarrow M$

eine Abbildung. Zeige, dass das Bildnehmen

${\mathfrak {P}}\,(L)\longrightarrow {\mathfrak {P}}\,(M),\,S\longmapsto F(S),$

folgende Eigenschaften besitzt (für beliebige Teilmengen ${}S,S_{1},S_{2}\subseteq L$):

1. ${}F(S_{1}\cap S_{2})\subseteq F(S_{1})\cap F(S_{2})$,
2. ${}F(S_{1}\cup S_{2})=F(S_{1})\cup F(S_{2})$,
3. ${}F(L\setminus S)\supseteq F(L)\setminus F(S)$.

Zeige durch Beispiele, dass die beiden Inklusionen in (1) und (3) echt sein können.

Eine Lösung erstellen