Enjeksiyon

Enjeksiyon, matematikte, iki küme arasında bir eşleme (veya fonksiyon), öyle ki eşlemenin etki alanı (girdi) birinci kümenin tüm elemanlarından oluşur, aralık (çıktı) ikinci kümenin bazı alt kümelerinden oluşur ve birinci kümenin her elemanı ikinci kümenin farklı bir elemanına eşlenir (bire bir). Setlerin farklı olması gerekmez. Örneğin, her bir tamsayıyı ikiyle çarpan fonksiyon, tamsayılar kümesinden tamsayıların bir alt kümesi olan çift tamsayılar kümesine bir enjeksiyondur. Eğer bir eşlemenin aralığı ikinci kümenin tüm elemanlarından oluşuyorsa, bu bir surjeksiyon ya da onto olarak bilinir. Hem enjeksiyon hem de surjeksiyon olan bir eşleme bijeksiyon olarak bilinir.