Ist Relation reflexiv, wenn sie symmetrisch und transitiv ist?
Hallo,
wir sollen ein Gegenbeispiel für folgende Aussage Aussage finden:
"Wenn eine Relation symmetrisch und transitiv ist, dann ist sie auch reflexiv."
Könnte man folgendes Beispiel verwenden?
M={1;2;3)
mit der Relation in MxM:
R={1;1),(2;2),(1;2),(2;1),(2;3),(3;2),(1;3),(3;1)}
Die Relation müsste symmetrisch sein, da immer wenn a R b auch b R a.
Und transitiv auch, da immer wenn a R b und b R c auch a R c, z.b bei (1;2), (2;3), (1;3).
Aber reflexiv nicht, da 3 nicht in Relation zu sich selbst steht.
Ist das richtig?