# 滿射與陪域覆蓋

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



## [滿射與陪域覆蓋](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-surjective/)

滿射要求陪域每個元素都有合法原像；相同輸出可以有多個原像。

atlas-surjective · canonical_mko

[滿射與陪域覆蓋](https://ocme.evemisslab.com/zh-Hant/mko/mko-surjective/)

## 前置節點


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