# 單射與不同輸入的辨識

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [單射與不同輸入的辨識](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-injective/)

單射要求不同合法輸入不能有同一輸出，不要求覆蓋整個陪域。

atlas-injective · canonical_mko

[單射與不同輸入的辨識](https://ocme.evemisslab.com/zh-Hant/mko/mko-injective/)

## 前置節點


- [函數映射](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-function-mapping/)
- [量詞與明示論域](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-quantifier/)