左逆

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