The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Partial Order
A partial order on a set is a relation on that is:
reflexive
antisymmetric
transitive
We write to mean and . Note that is irreflexive and transitive