Expressions avec diagonal

• Application diagonale,

  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 ℵ₀ de l'ensemble ℕ des entiers naturels.