避免迭代力迫为真类的处理方法

潘宇晟

摘要通常的单步迭代力迫的定义中会产生一个类，并且有可能是真类，而实际需要的是一个集合。本文通过定义力迫条件之间的一个等价关系，对任意的力迫条件选取一个秩比较低的条件与之等价，进而避免了真类的问题。