良序 良序任何非空子集都有最小元的偏序 良序集的计数过程:<A,> to=min(a ), t=min(A-[to), 2=min(A1:4) <t<t<.< 《集合论与图论》第12讲《集合论与图论》第12讲 5 良序 良序:任何非空子集都有最小元的偏序 良序集的计数过程: <A,<> t0 = min( A ), t1 = min( A-{t0} ), t2 = min( A-{t0,t1} ), …… t0 < t1 < t2 <…<…