Kui osahulga S ülemtõkete hulgas leidub selline ülemtüke, mis ellenb kõikidele teistele sama osahulga ülemtõketele siis sellist ülemtüket nimetatakse selle osahulga ülemrajaks. Tähistatakse sup(S) ja teine nimetus supremum Mis on alamaraja? Kuidas seda teisiti nimetatakse ja kuidas tähistatakse? Kui osahulga S alamtõkete hulgas leidub selline alamtõke, mis järgneb kõikidele teistele sama osahulga alamtõketele, siis sellist alamtõket nimetatakse selle osahulga alamrajaks, tähistatakse inf(S) ja teine nimetus infimum S on osaliselt järjestatud hulgast M eraldatud osahulk. Kui R on järjestussuhe hulgal M, siis relatsioon R järjestab hulga M.
· Monoid on poolrühm, kus on olemas ühikelement. · Rühm on monoid, kus igal elemendil on olemas pöördelement [mM m-1M ( m · m-1 = m-1 · m = e ) ]. 7 · Algebralise süsteemi moodustab algebra koos suhete hulgaga. Olgu antud järjestussuhe . · Elementide m1 ja m2 ülemrajaks on element m3 , kui m1 m3 ja m2 m3 . · Elementide m1 ja m2 alamrajaks on element m4 , kui m4 m1 ja m4 m2 . Ülemraja on vähim, kui ta on väiksem suvalisest teisest ülemrajast. Alamraja on suurim, kui ta on suurem suvalisest teisest alamrajast. · Võreks nimetatakse algebralist süsteemi < M, , , >, kus on osalise järjestuse suhe hulgal M ning 2 suvalist elementi hulgast M omavad vähimat ülemraja ja suurimat alamraja. Seejuures ja on üldistatud operatsioonid rajade leidmiseks, milliste lahtimõtestus on
Grupoid on assotsiatiivne (nimetatakse poolrühmaks), kui kehtib assotsiatiivsusseadus. Monoid on poolrühm, kus on olemas ühikelement. Rühm on monoid, kus igal elemendil on olemas pöördelement [mM m-1M ( m m-1 = m-1 m = e ) ]. Algebralise süsteemi moodustab algebra koos suhete hulgaga. Olgu antud järjestussuhe . Elementide m1 ja m2 ülemrajaks on element m3 , kui m1 m3 ja m2 m3 . Elementide m1 ja m2 alamrajaks on element m4 , kui m4 m1 ja m4 m2 . Ülemraja on vähim, kui ta on väiksem suvalisest teisest ülemrajast. Alamraja on suurim, kui ta on suurem suvalisest teisest alamrajast. Võreks nimetatakse algebralist süsteemi < M, , , >, kus on osalise järjestuse suhe hulgal M ning 2 suvalist elementi hulgast M omavad vähimat ülemraja ja suurimat alamraja. Seejuures ja on üldistatud operatsioonid rajade leidmiseks, milliste lahtimõtestus on
annaabi.ee 
