Finitary relation Antisymmetric relation Asymmetric relation Bijection Bijection, injection and surjection Binary relation Composition of relations Concurrent relation Congruence relation Converse relation Coreflexive relation Covering relation Cyclic order Dense relation Dependence relation Dependency relation Directed set Equivalence relation Euclidean relation Homogeneous relation Idempotence Intransitivity Involutive relation Partial equivalence relation Partial function Partially ordered set Preorder Prewellordering Propositional function Quasitransitive relation Reflexive relation Surjective function Symmetric relation Ternary relation Total relation Transitive relation Trichotomy (mathematics) Well-founded relation