Hlutröðunarvensl

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 
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.

Flokkur:Stærðfræði