ction::::形式定义.以下固定一个阿贝尔范畴 formula_1，常见例子是一个环上的模范畴。谱序列是一个非负整数 formula_2 及下述资料：通常省去 formula_7 与 formula_8 的同构，而写成等式。最基本的例子是链复形formula_11，它带有一个微分 formula_12。取 formula_13，并令 formula_14，于是必有 formula_15；这个新链复形上的微分只有一个自然的选择，就是零映射。于是有 formula_16。综之，我们得到一个链复形