Filtered Algebra

An algebra A endowed with an increasing sequence of subspaces ... = F_{-1} ⊆ F_0 ⊆ F_1 ⊆ ... whose union equals A and such that multiplication satisfies F_i · F_j ⊆ F_{i+j}; the filtration organizes elements by complexity rather than exact degree.