不变式（invariant）是1993年公布的数学名词。