An invariant means something that doesn’t vary. It is useful in proving algorithms correct. It is a statement which stands true all the time