weak assertion

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