Nechť P je uspořádaná množina typů isomorfismu konečných uspořádaných množin, kde uspořádání je dáno vnořitelností. V článku je dosaženo řady výsledků, které se týkají mimo jiné definovatelnosti automorfismů a dualit v uspořádané množině P.