noun
Used in mathematics, physics, and computer science for a quantity or property that remains unchanged under a set of transformations or operations.
この系では、エネルギーはインヴァリアントである。
In this system, energy is an invariant.
ループ不変条件は、各反復の前後で真であるインヴァリアントです。
A loop invariant is an invariant that is true before and after each iteration.