Wenn \(K\) ein Körper ist und \(L\) ein Erweiterungskörper von \(K\) (also ein Körper, der \(K\) enthält), dann schreibt man dafür abkürzend \(L/K\), gesprochen "\(L\) über \(K\)", und nennt \(L/K\) eine Körpererweiterung. Wichtig ist, dass es sich bei dem Ausdruck \(L/K\) nur um eine Notation handelt. Das hat also nichts mit Quotientenräumen oder ähnlichem zu tun. Es gibt alternativ auch andere Notationen, zum Beispiel mit einem senkrechten Strich: \(L|K\).

Beispielsweise ist \(\mathbb{C}/\mathbb{R}\) eine Körpererweiterung, denn: \(\mathbb{R}\) ist ein Körper und \(\mathbb{C}\) ist ein Körper, der \(\mathbb{R}\) enthält.