右逆

給定集合 和 之間的對映 ，對映 被稱為 的右逆，如果滿足 ，即，將 與 從右側複合得到 上的恆等對映。通常 是特定型別的對映，例如向量空間之間的線性對映，或拓撲空間之間的連續對映，在每種情況下，通常要求右逆與 的型別相同。

如果 有右逆，則 是滿射。反之，如果 是滿射的且假設選擇公理成立，則 有右逆，至少作為集合對映。