Identity Relation (Diagonal)

• Identity Relation (Diagonal) #Card
  • $\Delta_X := {(x, x) : x \in X} \subset X \times X$.

Back

$\Delta_X := {(x, x) : x \in X} \subset X \times X$.

Lean

Eq / 対角 Set.diagonal X = {p | p.1 = p.2}