Cauchy filter

Summary

A Cauchy filter on a uniform space is a filter that contains arbitrarily small sets, where "small" is measured by the entourages. It is the uniform version of a Cauchy sequence. A uniform space is complete when every Cauchy filter converges, and this gives completeness without a metric.