משפט: יהי <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> . יהיו <math>W_1,W_2\leq V</math> תתי מרחבים.
אזי חיתוך תתי המרחבים <math>W_1\cap W_1:=\{v\in V:\, v\in W_1\land v\in W_2\}</math> הינו תת מרחב.
הערה: זהו התת מרחב הכי "גדול" שמוכל ב <math>W_1,W_2</math>. פורמאלית, כל תת מרחב <math>U</math> המקיים כי <math>U\subseteq W_1,W_2</math> יקיים כי <math>U\subseteq W_1\cap W_2</math>
====דוגמא 1====