Varietät/Diagonale/Definition

Es sei ${}V$ eine Varietät. Dann nennt man das Bild der Abbildung

$V\longrightarrow V\times V,\,v\longmapsto (v,v),$

die Diagonale von ${}V$.