有限滤子

finite filtration