Полуалгебраическое множество

• Полуалгебраическое множество определяется полиномиальными равенствами и неравенствами. 
• Полуалгебраическая функция имеет полуалгебраический граф. 
• Полуалгебраические множества и функции изучаются в реальной алгебраической геометрии. 
• Подмножество S от Fn является полуалгебраическим множеством, если оно представляет собой конечное объединение множеств, определенных полиномиальными равенствами и неравенствами. 
• Конечные объединения и пересечения полуалгебраических множеств также являются полуалгебраическими множествами. 
• Дополнение полуалгебраического множества снова является полуалгебраическим. 
• Теорема Тарского-Зайденберга гласит, что полуалгебраические множества замкнуты при выполнении операции проекции. 
• Полуалгебраические множества образуют o-минимальную структуру на R.