global assertion

Мат. глобальное утверждение