המשפט מדבר על קבוצות בתוך מרחב ספציפי נתון, ולא בין מרחבים שונים. הרי המושג '''פורש''' מתייחס למרחב הנתון ששניהם נמצאים בו, אחרת כל קבוצה בעולם היא פורשת (שכן כל קבוצה פורסת את הSpan של עצמה).
:======הבהרה======אז המשפט אומר שאם יש שתי קבוצות: U פורשת, V בת"ל '''ושתיהן מוכלות במ"ו מסוים''' אז |U|>=|V| ?
==שאלות בקשר ל6.5 ו-7.9==