In mathematics and theoretical physics, property of a system which remains unchanged under some transformation.
Condition that can be relied upon to be true during execution of a program, or during some portion of it.
Unvarying in nature.