OpenU.Ru
Одна из семантических вариаций обобщения, при которой объект не может изменять свой тип или свою роль. Выбор между статической и динамической классификацией считается точкой семантических вариаций.