Järjestysrelaatio on jossakin joukossa määritelty relaatio, joka järjestää sen alkiot suuruusjärjestykseen. Järjestysrelaatiolle käytetään merkintöjä x < y (x on pienempi kuin y) tai y > x (y on suurempi kuin x). Joukossa E määritelty relaatio < on järjestysrelaatio, jos se toteuttaa seuraavat ehdot:
- 1. Mille tahansa alkioille x ∈ E {\displaystyle x\in E}
ja y ∈ E {\displaystyle y\in E} 
on seuraavista vaihtoehdoista voimassa täsmälleen yksi: joko x < y, x = y tai y < x.
- 2. Jos x < y ja y < z, niin x < z, eli järjestysrelaatio on transitiivinen.
Joukko, jossa on määritelty järjestysrelaatio, on järjestetty joukko.
You can validate your puzzle solution with certitude.