左逆

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