循环中的偏序结构

FORTRAN DO循环的全体构成一个无穷集,在其中定义一个有意义的“序”是一件有意义的事情。本文证明了文献1]阐明的循环强弱关系具备自反性、反对称性和传递性,从而在循环中建立一个偏序结构。