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

• Analysis of loop invariants in terms of set theory