weak forcing

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