re Adam: Jeśli mamy jakąś równoważność − chodzi mi o relacje xRy <=> 3|x−y to oczywiście sprawdzamy czy spełnia 3 warunki, to sobie sprawdzam, jeśli tak, to wyznaczam klasę abstrakcji i teraz pytanie. Czy muszę wyznaczyć klasę abstrakcji dla przechodzniej, symetrycznej i zwrotnej, czy wystarczy wyznaczyć tylko dla tej relacji xRy <=> 3|x−y?

Adam: ok , nie ważne , już wiem