Definition:Relation

Definition
Let $$S \times T$$ be the cartesian product of two sets $$S$$ and $$T$$.

A relation (in this context, technically speaking, a binary relation) in $$S$$ to $$T$$ is an arbitrary subset $$\mathcal{R} \subseteq S \times T$$.

What this means is that a binary relation "relates" (certain) elements of one set with (certain) elements of another.

Not all elements in $$S$$ need to be related to every relation in $$T$$ (but see Trivial Relation, which is a relation in which they are).

When $$\left({s, t}\right) \in \mathcal{R}$$, we can write: $$s \mathcal{R} t$$ or $$\mathcal{R} \left({s, t}\right)$$.

If $$\left({s, t}\right) \notin \mathcal{R}$$, we can write: $$s \not \! \mathcal{R} t$$, that is, by drawing a line through the relation symbol. See Complement of Relation.

Relation as a Mapping
It is possible to define a relation as a mapping from the cartesian product $$S \times T$$ to a boolean domain $$\left\{{\text{true}, \text{false}}\right\}$$:


 * $$\mathcal{R}: S \times T \to \left\{{\text{true}, \text{false}}\right\}: \forall \left({s, t}\right) \in S \times T: \mathcal{R} \left({s, t}\right) = \begin{cases}

\text{true} & : \left({s, t}\right) \in \mathcal{R} \\ \text{false} & : \left({s, t}\right) \notin \mathcal{R} \end{cases}$$

but this is too unwieldy and overcomplicated to be practical. It also relies on a circular definition. However, it can have the advantage of making the concept clear.

This approach is made in.

Endorelation
If $$S = T$$, then $$\mathcal{R} \subseteq S \times S$$, and $$\mathcal{R}$$ is referred to as an endorelation, or a relation in $$S$$, or a relation on $$S$$.

Generalized Definition
Let $$\mathbb{S} = \prod_{i=1}^n S_i = S_1 \times S_2 \times \ldots \times S_n$$ be the cartesian product of $$n$$ sets $$S_1, S_2, \ldots, S_n$$.

An arbitrary subset $$\mathcal{R} \subseteq \mathbb{S}$$ is a called an $n$-ary relation on $$\mathbb{S}$$.

To indicate that $$\left({s_1, s_2, \ldots, s_n}\right) \in \mathcal{R}$$, we write $$\mathcal{R} \left({s_1, s_2, \ldots, s_n}\right)$$.

A subset of a cartesian space $$S^n$$ is simply called an $$n$$-ary relation on $$S$$.

Also see

 * Mapping