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

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