Ach das hab ich ganz übersehen, danke! Also beim Aufschreiben der Tupel stelle ich also fest, es kann jedes Element x oder y sein, solange die Definition hier erfüllt ist x-y >= 0, stimmts? Hat mich zunächst verwirrt, da ich gedacht habe in einer Menge kann nur ein Element (hier) entweder x oder y sein.
Das wird dann bei allen solchen Relationen so sein?
Nur noch eine Unklarheit: (Den Rest werde ich dann wohl endlich alleine schaffen)
Wenn ich jetzt die Transitivität überprüfen wollen würde, dann bräuchte ich doch ein "drittes Element" oder nicht? oder eine dritte Variable. Weil dafür gilt doch: Wenn aRb und bRa , dann steht gilt auch aRc.
Die Aufgabenstellung ist konkret: Die Relation auf Reflexivität, Symmetrie, Antisymmetrie, Transitivität überprüfen und falls es eine Äquivalenzrelation ist, die zugehörigen Klassen angeben. Vielen Dank im Voraus und für die Hilfe bisher!