循环中的偏序结构

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