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.