מתוך הנתון ש<math>S\subseteq W</math> נובע ש<math>v_1,...,v_k\in W</math> ולכן מתוך סגירות לכפל וסקלר וחיבור <math>v=a_1v_1+...+a_kv_k\in W</math> משל.
<math>'''הערה:</math> ''' אם <math>S=\emptyset</math> קבוצה ריקה אזי מגדירים פורמאלית כי <math>span(S)=\{0\}</math>