generalization rule

Мат. правило обобщения