ThmDex – An index of mathematical definitions, results, and conjectures.

Processing math: 100%

▼	Set of symbols
▼	Alphabet
▼	Deduction system
▼	Theory
▼	Zermelo-Fraenkel set theory
▼	Set
▼	Binary cartesian set product

Definition D4

Binary relation

Formulation 0

$(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

▶	D4424: Binary endorelation
▶	D1104: Binary relation structure
▶	D857: Empty binary relation
▶	D362: Inverse binary relation
▶	D357: Left-unique binary relation
▶	D18: Map
▶	D4583: Maximal binary relation
▶	D4423: Relation class
▶	D358: Right-unique binary relation
▶	D5348: Set of binary relations
▶	D294: Symmetric binary relation