pre-filtrations

n. 初过滤;粗滤
(pre-filtration 的复数)