避免迭代力迫為真類的處理方法

潘宇晟

摘要通常的單步迭代力迫的定義中會產(chǎn)生一個類，并且有可能是真類，而實際需要的是一個集合。本文通過定義力迫條件之間的一個等價關系，對任意的力迫條件選取一個秩比較低的條件與之等價，進而避免了真類的問題。