שינויים
/* סכום תתי מרחבים */
יהי <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> . יהיו <math>W_1,W_2\leq V</math> תתי מרחבים.
נרצה למצוא את התת מרחב <math>W</math> הכי "קטן" שמכיל את <math>W_1,W_2</math>. נסמן תת מרחב זה ב <math>W</math> אז פורמאלית, נרצה "קטן" הכוונה כי כל תת מרחב <math>U</math> המקיים <math> W_1,W_2\subseteq U</math> בהכרח יקיים גם <math>W\subseteq U</math>.
יש שיחשבו שהתת מרחב הכי קטן שמכיל את <math>W_1,W_2</math> הוא האיחוד את <math>W_1,\cup W_2</math>.
