O variaţie semantică de generalizare în care un obiect nu se poate schimba tipul acesteia sau rol. A se vedea, de asemenea, clasificarea dinamice.