topology in which every subset is open. The only convergent sequences or nets in this topology are those that are eventually constant. Also, any set can be given the trivial topology (also called the indiscrete topology), in which only the empty set and the whole space are open. Every sequence and net in this topology converges to every point of the space. This example shows that in general topological spaces, limits of sequences need not be unique. However, often topological spaces must be Hausdorff spaces where limit points are unique. Metric spaces Metric spaces embody a metric, a precise notion of distance between points. Every metric space can be given a metric topology, in which the basic open sets are open balls defined by the metric. This is the standard topology on any normed vector space. On a finite-dimensional vector space this topology is the same for all norms. There are many ways of defining a topology on the set of real numbers. The standard topology on is generated by the open intervals. The set of all open intervals forms a base or basis for the topology, meaning that every open set is a union of some collection of sets from the base. In particular, this means that a set is open if there exists an open interval of non zero radius about every point in the set. More generally, the Euclidean spaces can be given a topology. In the usual topology on the basic open sets are the open balls. Similarly, the set of complex numbers, and have a standard topology in which the basic open sets are open balls. Proximity spaces Uniform spaces Function spaces Cauchy spaces Convergence spaces Grothendieck sites Other spaces If is a filter on a set then is a topology on Many sets of linear operators in functional analysis are endowed with topologies that are defined by specifying when a particular sequence of functions converges to the zero function. Any local field has a topology native to it, and this can be extended to vector spaces over that field. Every manifold has a natural topology since it is locally Euclidean. Similarly, every simplex and every simplicial complex inherits a natural topology from . The Zariski topology is defined algebraically on the spectrum of a ring or an algebraic variety. On or the closed sets of the Zariski topology are the solution sets of systems