A semantic variation of generalization in which an object cannot change its type or role. See also dynamic classification.