Uniform Space

A set X equipped with a uniform structure (a filter or family of entourages of the diagonal in X×X) that formalizes uniform properties such as uniform continuity, uniform convergence, and Cauchy-ness of nets independent of a particular metric.