Relationen sind Teilmengen von MxM
bei den drei Elementen von M hat MxM also 9 Elemente
(alle Paare halt).
Eine Menge mit 9 Elementen hat 2^9 Teilmengen also gibt es 512 Relationen
auf M.
Äquivalenz rel. ist schon etwas schwieriger.
Müssen ja jedenfalls (x;x), (y;y) und (z;z) enthalten sein.(reflexiv)
Diese drei allein bilden sozusagen die einfachste Ä.rel.
Nimm mal (x;y) mit dazu, dann muss auch (y;x) dabei sein (symmetrie!)
und das genügt auch schon
Genauso kannst du bei (x;x), (y;y) und (z;z) jedes andere Paar und das
dazu symmetrische dazu tun und hast dann immer eine Aqui.rel,
Das wären also 3 Stück
wenn du nun bei (x;x), (y;y) (z;z) (x;y) (y;x) noch einen (und den Symmetriepartner
hinzu tust, also etwa (x;z) und (z;x)
dann hast du z.B. (y;x) (x;z) und wegen der transitivität muss dann aber auch
(y;z) dazu gehören. und damit auch (z;y)
also hast du dann die ganze Menge MxM.
Also gibt es 5 Äquival. Rel'en
1, (x;x), (y;y) (z;z)
2. 3. 4. die von 1 ergänzt um ein weiteres Paar und dessen Symmetriepartner
5. alle Paare