Functions and mappings
Model theory
Order theory
Equivalence relation
Well-founded relation
Function
Binary relation
Interpretation
Finitary relation
Mathematics
Mathematical logic
Logic