nLab strict partial order

Disambiguation

There are multiple notions of strict partial order used in mathematics:

• an asymmetric strict preorder, which are just strict preorders

• a weakly linear strict preorder, which are strict weak orders

A strict poset, is a set equipped with a strict partial order.

 References

For strict partial orders as strict preorders, which are always asymmetric, see:

• Wikipedia, Strict partial order

For strict partial orders as strict weak orders, see section 4.1 of:

• Auke Booij, Analysis in univalent type theory (2020) $[$etheses:10411, pdf$]$

category: disambiguation