雙射的反函數雙射 f:A→B 的反函數 g:B→A 須驗證兩個方向的還原，不能把交換資料當成無條件反函數。atlas-inverse-function · canonical_mko雙射的反函數前置節點雙射與唯一原像函數合成仿射函數與一次函數