"arvuhulgal" - 1 õppematerjal

Diskreetse matemaatika elemendid, eksami konspekt

xRz ja yRz. Relatsiooni R sümmeetrilisusest saame zRy ja transitiivsust rakendades xRy, mis on vastuolus väite 2) eeldusega. 3) Iga x X kuulub relatsiooni R refleksiivsuse tõttu iseenda ekvivalentsiklassi ja seega ka ekvivalentsiklasside ühendisse. 24) a. Relatsiooni, mis on refleksiivne, antisümmeetriline ja transitiivne, nimetatakse mitterangeks järjestuseks, nt suvalisel arvuhulgal määratud mitterange võrratus .  b. Relatsiooni, mis on antirefleksiivne ja transitiivne, nimetatakse rangeks järjestuseks, nt suvalisel arvuhulgal määratud range võrratus <. c. Hulgal X defineeritud ranget järjestusrelatsiooni R nimetatakse lineaarseks, kui kehtib xy[xRy x = y yRx]. d. Hulgal X defineeritud mitteranget järjestusrelatsiooni R nimetatakse mittelineaarseks, kui kehtib xy[xRy yRx]. e