definition of invariant - Search