יהי V מ"ו נוצר סופי ו-A בסיס של V . הממד של V יוגדר להיות: dim(V)=#A, כלומר מספר האיברים שב-A.
תבנית:מבנה תבנית
תבנית:טענה
תבנית:טענה תבנית:טענה
תבנית:טענה תבנית:מוסתר