Klasy abstrakcji Witold: Witam, mam zadanie na ile klas abstrakcji dzieli zbiór liczb naturalnych relacja(mod n) ? Jak jest moc zbioru każdej z klas ? kompletnie nie rozumiem definicji klas abstrakcji. Jedyne do czego doszedłem to że klasa abstrakcji jest zbiorem w którym znajdują się wszystkie elementy które są w relacji z innym elementem znajdującym się w tym zbiorze. I jest to podzbiór większego zbioru. ( klasa abstrakcji to zbiór wszystkich elementów taki że jakiś x zachodzi z nimi w relacje). Nie wiem czy dobrze myślę a i czy to co napisałem jest kompletną bzdurą. Bardzo proszę o pomoc

Pytający: Jak się domyślam, chodzi o relację przystawania: xRy ⇔ x≡y (mod n) // n∊ℕ⁺ Wtedy jest n klas abstrakcji: • [0]_R=[n]_R=[2n]_R=...={kn: k∊ℕ} • [1]_R=[n+1]_R=[2n+1]_R=...={kn+1: k∊ℕ} ... • [n−1]_R=[n+(n−1)]_R=[2n+(n−1)]_R=...={kn+(n−1): k∊ℕ} Można też zapisać ogólnie: [x]_R={k∊ℕ: k≡x (mod n)}