A filtration of ideals of a commutative unit ring is a sequence of ideals
such that
for all indices
.
An example is the
-adic
filtration associated with a proper ideal
of
,
A ring equipped with a filtration is called a filtered ring.