iniettivita
iniettività proprietà di un’applicazione ƒ: X → Y, consistente nel fatto che a elementi distinti di X corrispondono elementi distinti di Y; in tal caso ƒ è detta applicazione iniettiva (o uno a uno). Ciò equivale a dire che, se x1 e x2 sono elementi di X tali che ƒ(x1) = ƒ(x2), allora deve essere x1 = x2 e quindi, per ogni fissato y di Y, l’equazione ƒ(x) = y ha al più una soluzione nell’incognita x. Data un’applicazione iniettiva ƒ, allora, a patto di suriettivizzare ƒ (vale a dire di restringere il codominio di ƒ alla sua immagine), è possibile definire la applicazione inversa ƒ−1, che associa a ogni elemento dell’immagine y l’unico elemento del dominio x tale che ƒ(x) = y.