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

Мат. real-closed field