在同调代数中，蛇引理是构造长正合序列的关键工具，此引理在任何阿贝尔范畴中皆成立。依此构造的同态通常称作连结同态。
叙述.考虑一阿贝尔范畴formula_1（例如阿贝尔群或模的范畴）中的交换图：使得每一横列均为正合序列。此时存在一个联系formula_2的核与上核的正合序列：formula_3此外，若formula_4是单射，则formula_5亦然；若formula_6是满射，则formula_7亦然。
引蛇出洞.为了理解蛇引理的由来，观察下图