Definíció: Egy (A,<) rendezett halmaz típusa {(|A|,r): r |A|x|A| egy részhalmaza, amelyre (|A|,r) izomorf (A,<)-bel}

Megjegyzés: A fenti definíció nyilvánvalóan megfelel céljainknak.

Teljesen hasonlóan definiálható a csoportok izomorfiatíusa, gráfok izomorfiatípusa ... Ezek kidolgozását a hallgatókra bízzuk.