אזי חיתוך תתי המרחבים <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====