הערה:
<math>span(S)</math> הינו תמיד תת-מרחב כפי שקל להוכיח באמצעות הקריטריון המקוצר - צירוף לינארי של צירופים לינאריים הינו צירוף לינארי בעצמו. בנוסף הוא התת מרחבב הקטן ביותר (מינימום לפי יחס ההכלה) המכיל את הקבוצה אותה הוא פורש
כלומר אם ת"מ <math>W\leq V</math> מקיים <math>S\subset W</math> אזי <math>span(S)\subset W</math>
