四引理

一个图引理，指出：给定上述具有正合行的交换图，以下成立：

1. 如果 是满射，且 和 是单射，则 是单射；

2. 如果 是单射，且 和 是满射，则 是满射。

这个引理与五引理密切相关，后者基于通过添加单列获得的类似图表。