Relacja

[petermus]

Dana jest relacja \(D = {(a,a),(a,b),(a,c),(b,a),(b,b),(b,c),(c,a),(c,b),(c,c),(d,d)}\) określona w zbiorze \({a,b,c,d}\), gdzie elementy \(a,b,c,d\) są parami różna. Znajdź dziedzinę i przeciwdziedzinę relacji. Jakie własności posiada podana funkcja?

[escher]

to nie jest funkcja, bo zawiera pary z tą samą pierwszą, a róznymi drugimi współrzędnymi.
Przecież jest napisane, że to relacja w zbiorze {a,b,c,d}, więc jest to dziedzina i przeciwdziedzina relacji.
Ale można dodatkowo sprawdzić, że każdy element tego zbioru wystepuje w jakiejś parze.

Jest zwrotna, symetryczna i przechodnia, czyli jest relacją równoważności.
są dwie klasy abstrakcji: {a,b,c} i {d}, czyli ta relacja polega na utożsamieniu elementów a, b i c.
escher