Dowód narusia: Udowodnić, że relacja ∘ , gdzie x∘y⟺x≡y (mod7) jest relacją równoważności w zbiorze ℤ.Opis klasy abstrakcji dla tej relacji.

ite: Musisz sprawdzić, czy spełnione są warunki podane w definicji relacji równoważności.