real closure

real closure

[¦rēl ′klō·zhər] (mathematics) A real closure of a real field F is a real closed field which is an algebraic extension of F.