雙射與唯一原像

雙射與唯一原像

雙射同時單射與滿射，等價於陪域每個元素恰有一個合法原像。

atlas-bijective · canonical_mko