[pawelblu]

Jak to jeszcze aktualne to moge przysiasc. Relacje nie sa elementem MD tylko logiki lub torii mnogosci (zbiorow).

Ad. 1 Mozliwosci jest wiele, moze byc to relacja pelna/zupelna (trzeba by sprawdzic terminologie) i wtedy tak jak masz napisane wszystko wrzucasz. Klasa abstrakcji jest wtedy zbior {a,b,c} (jedna klasa abstrakcji).

Mozna dac np. tylko (a,a) (b,b) (c,c) i wtedy dla kazdego x klasa abstrakcji jest {x} (3 klasy abstrakcji).

Ad. 2 i dalej - Po co przeciwzwrotnosc ?

No i nie podajesz klas abstrakcji, ale rozumiem ze wiesz jak to zrobic ?

2. {1} {2,3}
3. {1,4} {2,3}
4. {a} {b,c} {d}

Uzasadnienie wlasnosci relacji dosc skape w opis.