單射(Injection)函數是指那些保證定義域中不同的元素在映射後一定會對應到陪域中不同元素的函數。換句話說，單射函數中的每個輸出只對應一箇輸入，即每一箇x都有唯一的y與之對應。
滿射(Surjection)函數，也稱爲滿射映射，是指那些保證陪域中的每一箇元素至少被定義域中的一箇元素映射到的函數。這意味着陪域中的每一箇元素都是值域中的元素，即每一箇y都必有至少一箇x與之對應。
雙射(Bijection)函數，也稱爲一一對應，是指那些既滿足單射條件又滿足滿射條件的函數。這種函數在數學中非常常見，它保證了定義域中的每個元素都能唯一地映射到陪域中的一箇元素，並且陪域中的每個元素也都能被唯一地映射到。