# Diagonal Relation is Universally Compatible

Jump to navigation
Jump to search

## Theorem

The diagonal relation $\Delta_S$ on a set $S$ is universally compatible with every operation on $S$.

## Proof

Let $\struct {S, \circ}$ be any algebraic structure.

\(\displaystyle \) | \(\) | \(\displaystyle x_1 \Delta_S x_2 \land y_1 \Delta_S y_2\) | |||||||||||

\(\displaystyle \) | \(\leadsto\) | \(\displaystyle x_1 = x_2 \land y_1 = y_2\) | Definition of Diagonal Relation | ||||||||||

\(\displaystyle \) | \(\leadsto\) | \(\displaystyle x_1 \circ y_1 = x_2 \circ y_2\) | (consequence of equality) | ||||||||||

\(\displaystyle \) | \(\leadsto\) | \(\displaystyle \paren {x_1 \circ y_1} \mathrel {\Delta_S} \paren {x_2 \circ y_2}\) | Definition of Diagonal Relation |

$\blacksquare$