формальное условие

Мат. formal condition