class invariant: niezmiennik klasy > Dodaj do ulubionych | Warunek, który musi być zawsze spełniony przy tworzeniu egzemplarza danej klasy.