A field extension K ⊆ L {\displaystyle {}K\subseteq L} is called finite if L {\displaystyle {}L} is a finite-dimensional vector space over K {\displaystyle {}K} .
