Hlutröðunarvensl
![](https://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Hasse_diagram_of_powerset_of_3.svg/250px-Hasse_diagram_of_powerset_of_3.svg.png)
Hlutröðunarvensl eru vensl sem skilgreina röðun staka í mengi. Hlutröðunarvensl eru sjálfhverf, andsamhverf og gegnvirk. Mengi ásamt hlutröðunarvenslum er kallað ýmist raðað mengi, raðmengi, hlutraðað mengi eða hlaðmengi.
Tvö stök, a og b, í raðmengi eru sögð sambærileg ef að eða . Ef að hvorugt gildir eru þau sögð ósambærileg.
Ef að er raðmengi og sérhver tvö stök eru sambærileg er raðmengið sagt alraðað eða línulega raðað, og er kölluð alröðunarvensl. Alröðuð mengi eru gjarnan kallaðar keðjur.
Mengi er sagt vel raðað ef að sérhvert hlutmengi þess sem er ekki tómamengið hefur minnsta stak. Velröðun er forsenda þrepasönnunar.
Hlutröðunarvenslum má lýsa með Hasse-myndum.
Dæmi
[breyta | breyta frumkóða]Náttúrlegu tölurnar eiga sér raðvenslin . Þá er raðmengi þar sem að:
- (sjálfhverf)
- Ef og , þá (andsamhverf)
- Ef og , þá (gegnvirk)
- Náttúrlegu tölurnar eru vel raðaðar.
Að sama skapi eru hlutmengjavenslin hlutröðun á mengjum:
- Fyrir öll mengi A gildir: (sjálfhverf)
- Ef og , þá (andsamhverf)
- Ef og , þá (gegnvirk)
Stafrófsröð er annað dæmi um velröðun.