Wenn f und g aus \(\operatorname{Abb}^{\text {fin }}(M, K) \) sind, dann auch
ihre Summe; denn f(m)+g(m) kann nur ungleich 0 sein, wenn
mindestens einer der Summanden ungleich 0 ist.
Entsprechend ist es auch für x*f mit x∈K.
Außerdem ist die 0-Abbildung in \(\operatorname{Abb}^{\text {fin }}(M, K) \)
somit das klassische Unterraumkriterium erfüllt.