Reell abgeschlossener Körper/Definition

Reell-abgeschlossener Körper

Ein angeordneter Körper ${}K$ heißt reell-abgeschlossen, wenn folgende Eigenschaften gelten.

1. Jedes nichtnegative Element aus ${}K$ besitzt eine Quadratwurzel in ${}K$.
2. Jedes Polynom ${}P\in K[X]$ mit ungeradem Grad besitzt in ${}K$ eine Nullstelle.