定義
A を可換環とし、そのイデアルの降列 I_0 ⊃ I_1 ⊃ ...
で I_0 = A, (I_n)(I_m) ⊂ I_(n+m) を満たすものが与えられたとき
A をフィルター環と言う。