Es sei
eine Abbildung. Zeige, dass das Bildnehmen
folgende Eigenschaften besitzt (für beliebige Teilmengen S , S 1 , S 2 ⊆ L {\displaystyle {}S,S_{1},S_{2}\subseteq L} ):