整合子迭代过程的单向性