Produktmenge/Diagonale/Definition

Diagonale

Zu einer Menge $M$ heißt die Teilmenge

$\{(x,x)\mid x\in M\}\subseteq M\times M$

der

Produktmenge die Diagonale.