ホモロジー代数学
任意のアーベル圏(アーベル群の圏や与えられた体上のベクトル空間の圏など)や群の圏において以下の可換図式を考える。

5項補題は次のものである。2つの列が完全で、m と p が同型射で、l がエピ射で、q がモノ射であれば、n も同型である。