Минимизирующая последовательность функции на множестве — последовательность элементов , для которой последовательность значений стремится к точной нижней грани её значений на , т.е.
Минимизирующая последовательность функции на множестве — последовательность элементов , для которой последовательность значений стремится к точной нижней грани её значений на , т.е.