1. (у математиці, зокрема в алгебричній геометрії) множина точок, що є спільними розв’язками (спільними нулями) заданої системи поліноміальних рівнянь; алгебричний многовид.
2. (у математичному аналізі та диференціальній геометрії) множина точок, у яких гладка функція на многовиді набуває нульового значення, за умови, що нуль є її регулярним значенням.