Diagonale

La diagonale du carré cartésien X×X d'un ensemble X par lui-même est l'ensemble, noté ΔX, des couples (x, x) quand x parcourt X. Cette définition se généralise à une puissance cartésienne quelconque : la diagonale de XE est l'ensemble des fonctions constantes …