weak elimination

Лог. слабая элиминация, слабое устранение