Algèbre Filtrée

Une algèbre A munie d'une suite croissante de sous-espaces ... = F_{-1} ⊆ F_0 ⊆ F_1 ⊆ ... dont l'union est A et telle que la multiplication vérifie F_i · F_j ⊆ F_{i+j} ; la filtration classe les éléments par complexité plutôt que par degré exact.