Sobre un teorema de convergencia de filtros

^{Teorema.  Sea (X,W) espacio uniforme, ẞ una base de filtro sobre   x,} Ϭ  ^{un filtro sobre  x ,}  Ϭ ^{>    ẞ para que  ẞ → a  a e  Є x es necesario y suficiente}