invariant condition

Translations
инвариантное условие
The invariant condition must be met for the function to work correctly.
Инвариантное условие должно быть выполнено, чтобы функция работала правильно.