Analysis of loop invariants in terms of set theory

• 从集合论的角度分析循环不变式