almost complete

Last-modified: 2010-08-28 (土) 05:26:58

Definition

A quasi-uniform space is called almost complete if every open Cauchy filter has a cluster point.
Here, "open filter" means a filter which is generated by a filter base consisting of open sets.

Reference

P. Fletcher and S. Naimpally, On almost complete and almost precompact quasi-uniform spaces, Czechoslovak Math. J., Vol.21 (1971), No.3, pp.383-390.