Semanttinen vaihtelun Yleistys, jossa objektia ei voi muuttaa sen tyyppiä tai rooli. Katso myös dynaaminen luokitusta.