论文部分内容阅读
给出了序集W为半整序集的充要条件是W的非空真前段有形A(x0)及A「x0」。在半整序集上建立了超穷归纳不原理:设W是一个半整序集,P是一个性质,如果下列例题成立,则W的所有元素均具有性质P。(1)若α〈x〈β具有性质,则,α,β具有性质P;(2)一串不具有性质P的点 极限点亦不具有性质P。