ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
Definition D4
Binary relation
Formulation 0
An D548: Ordered pair $(X \times Y, R)$ is a binary relation if and only if
(1) $X \times Y$ is a D191: Binary cartesian set product
(2) $R \subseteq X \times Y$ (D78: Subset)
Children
▶ Binary endorelation
▶ Binary relation structure
▶ Empty binary relation
▶ Inverse binary relation
▶ Left-unique binary relation
▶ Map
▶ Maximal binary relation
▶ Relation class
▶ Right-unique binary relation
▶ Set of binary relations
▶ Symmetric binary relation