# Category:Diagonal Relation

This category contains results about Diagonal Relation.

Definitions specific to this category can be found in Definitions/Diagonal Relation.

Let $S$ be a set.

The **diagonal relation on $S$** is a relation $\Delta_S$ on $S$ such that:

- $\Delta_S = \set {\tuple {x, x}: x \in S} \subseteq S \times S$

Alternatively:

- $\Delta_S = \set {\tuple {x, y}: x, y \in S: x = y}$

## Pages in category "Diagonal Relation"

The following 4 pages are in this category, out of 4 total.