*משפט ההגדרה - יהיו V,W מ"ו מעל שדה F, מתקיים dimv=n. אם ניקח {v1,...,vn} בסיס עבור V, וכן{w1,...,wn} '''קבוצה''' מוכלת בW, אזי קיימת T מV לW כך שהיא הע"ל, והיא יחידה, והיא מקיימת T(vi)=wi לכל i בין 1 ל-n.
משפט הדרגה - יהיו V,W מ"ו מעל שדה F, ותהי T מV לW הע"ל. אזי מתקיים: