weak consequence

Мат. слабое следствие