Field extension/Definition

Field extension

Let ${}L$ be a field, and let ${}K\subseteq L$ be a subfield of ${}L$. Then ${}L$ is called an extension field of ${}K$, and the inclusion ${}K\subseteq L$ is called a field extension.