(computer science) an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop

(software engineering) An invariant used to constrain objects of a class that is preserved by class methods and that constrains the state stored in the object.

plural of class invariant

plural of loop invariant

plural of Lorentz invariant

(mathematics) Preserving a specified property under transformation.

(algebra, representation theory) The branch of algebra concerned with actions of groups on algebraic varieties from the point of view of their effect on functions.

plural of semi-invariant

(mathematics) Synonym of cumulant

(geometry) A certain invariant of complex projective surfaces.