תארנו את ההגדרה בהגדרה של תלות לינארית ראינו שאפשר לראות תלות לינארית בתור היכולת לזרוק וקטורים מבלי להשפיע על המרחב הנפרש. כמובן שלפעולה זו יש סוף - מתישהו לא ניתן לזרוק אף וקטור מבלי לגרוע מהמרחב הנפרש. הקבוצה שנשארנו איתה במקרה זה תקרא '''בסיס'''.
הגדרה: יהי מרחב או תת מרחב W ותהי קבוצת וקטורים S. אזי S נקראת '''בסיס לW''' אם מתקיימות שתי התכונות הבאות:
