右逆

给定集合 和 之间的映射 ，映射 被称为 的右逆，如果满足 ，即，将 与 从右侧复合得到 上的恒等映射。通常 是特定类型的映射，例如向量空间之间的线性映射，或拓扑空间之间的连续映射，在每种情况下，通常要求右逆与 的类型相同。

如果 有右逆，则 是满射。反之，如果 是满射的且假设选择公理成立，则 有右逆，至少作为集合映射。