Una variación semántica de generalización en el que un objeto no puede cambiar su tipo o función. Ver clasificación también dinámico.