real-closed field

Мат. вещественно замкнутое поле