Abstract Algebra
《Abstract Algebra》 · 第 511 页 · Section 13.1「Basic Theory of Field Extensions」，Definition
If $K$ is a field containing the subfield $F$, then $K$ is said to be an extension field (or simply an extension) of $F$, denoted $K/F$ […] The field $F$ is sometimes called the base field of the extension.