osittaisjärjestyksiä
Osittaisjärjestys on matemaattinen käsite, joka kuvaa relaatiota joukon alkioiden välillä, joka on refleksiivinen, antisymmetrinen ja transitiivinen. Toisin sanoen, jos joukon $A$ alkioille $a, b, c$ pätee, että $a \preceq a$ (refleksiivisyys), ja jos $a \preceq b$ ja $b \preceq a$, niin $a = b$ (antisymmetrisyys), ja jos $a \preceq b$ ja $b \preceq c$, niin $a \preceq c$ (transitiivisuus), silloin $\preceq$ on osittaisjärjestys joukossa $A$.
Osittaisjärjestys ei vaadi, että mitkä tahansa kaksi joukon alkiota olisivat vertailukelpoisia. Voi olla, että alkioille $a$
Esimerkkejä osittaisjärjestyksistä ovat: luonnollisten lukujen joukon pienempi tai yhtä suuri kuin -relaatio ($\leq$), joukon potenssijoukon ositusrelaatio
Osittaisjärjestyksiä käytetään monilla matematiikan ja tietojenkäsittelytieteen aloilla, kuten kombinatoriikassa, analyysissä ja tietokantateoriassa. Ne auttavat mallintamaan ja