Diagonal Relation is Serial

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $S$ be a set.

Let $\Delta_S$ be the diagonal relation on $S$.


Then $\Delta_S$ is a serial relation.


Proof

By Diagonal Relation is Equivalence it follows a fortiori that $\Delta_S$ is reflexive.

The result follows from Reflexive Relation is Serial.

$\blacksquare$


Sources