====סכום תתי מרחבים וסכום ישר ====הגדרה: <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> . יהיו <math>W_1,W_2\leq V</math> תתי מרחבים.אזי סכום תתי המרחבים <math>W_1 + W_1:=\{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>