Definition:Diagonal Relation/Also known as

From ProofWiki
Jump to navigation Jump to search

Diagonal Relation: Also known as

The diagonal relation can also be referred to as the equality relation or the identity relation.

It is also referred to it as:

the diagonal set or class
the diagonal subset or subclass.

Some sources call it just the diagonal.

However, $\mathsf{Pr} \infty \mathsf{fWiki}$'s position is that it can be useful to retain the emphasis that it is indeed a relation.