Es sei
eine Abbildung. Zeige, dass das Urbildnehmen
folgende Eigenschaften besitzt (für beliebige Teilmengen T , T 1 , T 2 ⊆ M {\displaystyle {}T,T_{1},T_{2}\subseteq M} ):