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