Sei f : X → Y eine Abbildung. Zeigen Sie:
f ist surjektiv genau dann, wenn f (X \ A) ⊇ Y \ f (A) für alle A ⊆ X
