Filtered algebra (source code)

= Filtered algebra
{wiki}

A filtered algebra has a nested family of vector subspaces whose index is compatible with multiplication.