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 relation of equality
the identity relation.

It is also referred to it as:

the diagonal set or diagonal class
the diagonal subset or diagonal 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.


Sources