Alcune Proprietà della Gerarchia dei Tipi
La gerarchia dei tipi è rappresentabile mediante un reticolo, struttura tipica dei sistemi ad eredità multipla. Un tipo può avere più di un supertipo e più di un sottotipo. Comunque ogni coppia di tipi deve avere un supertipo comune minimo ed un sottotipo
Si consideri ad esempio il caso:
Pantera < AnimaleSelvaggio
Per mantenere la struttura di reticolo è necessaria l'introduzione di un nuovo tipo, ad esempio MammiferoSelvaggio. Poichè ciò però non è smpre naturale, nella gerarchia dei tipi si introducono due tipi, il tipo universale (_) ed il tipo assurdo (_), che