====סכום תתי מרחבים וסכום ישר ====
'''הגדרה:''' <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> . יהיו <math>W_1,W_2\leq V</math> תתי מרחבים.
אזי '''סכום תתי המרחבים''' <math>W_1 + W_1W_2:=\{w_1+w_2:\, w_1\in W_1, w_2\in W_2\}</math> הינו תת מרחב.
תכונה: לכל תת מרחב <math>U</math> עבורו <math> W_1,W_2\subseteq U</math> מתקיים כי <math> W_1+ W_2 \subseteq U</math>.