правило конкретизации

Мат. concretization rule, rule of specification