Filtered ring (source code)

= Filtered ring

A filtered ring is a ring with subgroups $(R_n)$ satisfying $R_mR_n\subseteq R_{m+n}$.