Relations

Internal

• Mathematics

Overview

A binary relation R on two sets A and B is a subset of the Cartesian product A x B. If (a, b) belongs to the subset of the Cartesian product that defines the relation, we write a R b.

A binary relation R on a set A is a subset of the Cartesian product A x A.

A n-ary relation on sets A₁, A₂, .... A_n is a subset of the Cartesian product A₁ x A₂ x ... x A_n.

An example of a binary relation on a finite set is the edge set of a graph.

Binary Relation Properties

A binary relation R ⊆ A x A is reflexive if a R a for all a ∈ A.

TODO

CLRS page 1163