A condition that remains true before and after a certain operation in computer science, often used in the context of type theory and generic programming.

"Type invariance ensures that a data type remains the same even if its content or structure is modified in some way."