строгое обобщение

Мат. strict generalization