invariant definition examples - Search