一様空間X上のコーシーフィルターFとは、フィルターFであって、各近縁Uに対してA∈FでA×A⊆Uとなるものが取れるものをいう。
在一致空间X上的柯西滤子F是滤子F使得对于所有周围U，存在A∈F有着A×A⊆U。