Niezmiennikiem nazywamy tę własność obiektów, która zostaje zachowana po poddaniu ich wybranym przekształceniom. Jeśli chcemy wykazać, że obiekt nie może zostać przekształcony w obiekt za pomocą danych reguł, to wystarczy znaleźć ich niezmiennik, który przyjmuje różne wartości dla obiektów i

Aby to wyjaśnić, rozwiążemy następujące

Goniec porusza się po liniach skośnych, więc kolor pola, na którym stoi, pozostaje bez zmian. Pole B2 jest czarne, natomiast pole H7 jest białe. Z tego wynika negatywna odpowiedź na postawione pytanie.

W tym przykładzie przekształceniami są ruchy gońca, rozważanym obiektem jest pole, na którym on stoi (na początku B2, na końcu H7), a niezmiennikiem - kolor tego pola.