Linked from

The 22 pages that link to Binary relation, each with the reason it gives.

• Equivalence relationNarrower topic: Equivalence relations are binary relations whose pairs satisfy three additional properties.

• Ordered pairBroader topic: Each pair records a directed association between two elements.

• Partial orderNarrower topic: A partial order is a binary relation restricted by three axioms.

• Partially ordered setNarrower topic: A partial order is a binary relation satisfying three specific axioms.

• Preference relationNarrower topic: Preference relations are binary relations over a set of options.

• Transitive relationNarrower topic: Transitivity is a property of binary relations between elements.

• Well-founded relationNarrower topic: Well-foundedness is a property of a binary relation on a specified domain.

• Partial functionNarrower topic: Viewing functions as relations makes their single-valued condition explicit.

• Reflexive relationNarrower topic: Reflexivity is a property of binary relations whose two arguments come from the same set.

• Total orderNarrower topic: A total order is a binary relation on a set.

• Strict partial orderNarrower topic: A strict partial order is a binary relation on a set.

• Axiom of dependent choiceNarrower topic: The axiom uses a binary relation to specify which consecutive choices are allowed.

• PreorderNarrower topic: A preorder is a binary relation on a set whose pairs obey two additional laws.

• Antisymmetric relationNarrower topic: Antisymmetry is a condition imposed on a binary relation.

• Symmetric relationNarrower topic: Symmetry tests whether reversing every pair preserves membership in this relation.

• Transitive closureNarrower topic: A graph's edges define a binary relation whose closure is being formed.

• Equivalence classNarrower topic: An equivalence relation is a binary relation with three additional properties.

• Quotient setNarrower topic: An equivalence relation on the original set supplies the rule for grouping its elements.

• Equality relationNarrower topic: An equality relation is a particular binary relation on a set.

• Connected relationNarrower topic: Connectedness is a condition imposed on a binary relation.

• Element of a setRelated: A relation holds between two objects exactly when their pair is an element of it.

• Mostowski collapse lemmaNarrower topic: The lemma begins with an arbitrary relation on a set, not necessarily membership.