Equivalence relation
Binary relation
Finitary relation
Order theory
Transitive relation
Preorder
Mathematics
Mathematical logic
Logic