*טענה: יהי V מ"ו ותהי <math>S\subseteq V</math> אזי <math>span(S)</math> הוא תת המרחב הקטן ביותר שמכיל את <math>S</math>. כלומר:
**<math>span(S)</math> תת מרחב וקטורי
**לכל תת מרחב <math>T</math> כך ש <math>S\subseteq T</math> מתקיים כי <math>S\subseteq span(S)\subeteq subseteq T</math>