不变条件

（编程术语）

不变条件是，在程序执行过程或部分过程中，可始终被假定成立的条件。比如，循环不变条件，是指在循环开始和结束后始终成立的条件。