Preorder
Backlinks
Meet in a Preorder
Jointly Monic Family
Top Element
Weak Terminal Object
Triangle inequality
Semidirected Set
Monotone Function
Directed Set