A topological space X whose topology is derived from a family of subsets of X × X, called a uniformity; intuitively, this gives a notion of ``nearness'' which is uniform throughout the space.