 Filtered cochain complex

A cochain complex with a decreasing filtration by cochain subcomplexes. A filtration finite in each degree is bounded in the degreewise sense; uniform bounds $F^{a}C=C$ and $F^{b}C=0$ are sufficient. The associated spectral sequence starts with the graded quotient complexes.