Für lineare Abbildungen f : V −→ W zeige man die Äquivalenz der folgenden Eigenschaften:
i) Für jede Erzeugendenmenge S von V ist f(S) eine Erzeugendenmenge von W.
ii) Es gibt eine Teilmenge S ⊆ V , so daß f(S) Erzeugendenmenge von W ist.
iii) f ist surjektiv.