 Degree of a field extension

The degree $[L:K]$ of a field extension is the dimension of a vector space $L$ over $K$.