What is invariant?