olemus
binaarseos, mis on
(i) refleksiivne, antisümmeetriline ja transitiivne või
(ii) antirefleksiivne ja transitiivne
= a binary relation that is (i) reflexive, antisymmetric and transitive or (ii) antireflexive and transitive

ülevaateid
https://eli.thegreenplace.net/2018/partial-and-total-orders/

https://proofwiki.org/wiki/Definition:Partial_Ordering

https://en.wikipedia.org/wiki/Partially_ordered_set

http://www.cs.fsu.edu/~lacher/courses/MAD3105/lectures/s1_4partord.pdf

vt ka
- võre