Total order
Partially ordered set
Binary relation
Antichain
Preorder
Finitary relation
Function
Cartesian product
Join and meet
Mathematics
Order theory
Abstraction