Real closure
= Real closure
{title2=$K^{\mathrm{rc}}$}
A real closure of an ordered <field> $K$ is a real closed <algebraic extension> whose order extends the chosen order of $K$. Existence is the <real closure theorem>; uniqueness holds up to ordered field <isomorphism> over $K$. A different ordering of a formally real field can produce a different ordered real closure.