Preorder
Function
Filter
Continuous function
Equivalence relation
Binary relation
Closure operator
Topological space
Partially ordered set
Mathematics
Order theory
Structure