real-closed

Действительно замкнутый — real-closed field