二型序数与良序二型类的同构

证明了二型序数具有如下性质：对任一二型类良序结构[A,R],存在惟一的二型序数B,使得[B,E]与[A,R]同构,特别地对良序聚会[A,R],存在惟一的二型序数α^*∈οN,使得[α^*,∈]与[A,R]同构,由此性质可知,每个由良序聚合组成的同构等价类中,仅仅含有一个二型序数,即从同构的意义来讲,二型序数结构就是良序二类结构。