application injective définie sur un ensemble quelconque M, à valeurs dans l'ensemble M × M, et qui associe à tout élément x de M l'élément (x, x) de M × M.
Matrice diagonale,
matrice carrée dont tous les éléments extérieurs à la diagonale principale sont nuls.
Raisonnement diagonal (parfois appelé raisonnement par [ou de] la diagonale),
raisonnement fondamental de la théorie des ensembles, utilisé pour la première fois par Cantor pour établir que la puissance 𝓒 du continu est strictement supérieure à la puissance ℵ0 de l'ensemble ℕ des entiers naturels.