of polynomial equations. A linear graph has a natural topology that generalizes many of the geometric aspects of graphs with vertices and edges. The Sierpiński space is the simplest non-discrete topological space. It has important relations to the theory of computation and semantics. There exist numerous topologies on any given finite set. Such spaces are called finite topological spaces. Finite spaces are sometimes used to provide examples or counterexamples to conjectures about topological spaces in general. Any set can be given the cofinite topology in which the open sets are the empty set and the sets whose complement is finite. This is the smallest T1 topology on any infinite set. Any set can be given the cocountable topology, in which a set is defined as open if it is either empty or its complement is countable. When the set is uncountable, this topology serves as a counterexample in many situations. The real line can also be given the lower limit topology. Here, the basic open sets are the half open intervals This topology on is strictly finer than the Euclidean topology defined above; a sequence converges to a point in this topology if and only if it converges from above in the Euclidean topology. This example shows that a set may have many distinct topologies defined on it. If is an ordinal number, then the set may be endowed with the order topology generated by the intervals and where and are elements of Outer space of a free group consists of the so-called "marked metric graph structures" of volume 1 on Topological constructions Every subset of a topological space can be given the subspace topology in which the open sets are the intersections of the open sets of the larger space with the subset. For any indexed family of topological spaces, the product can be given the product topology, which is generated by the inverse images of open sets of the factors under the projection mappings. For example, in finite products, a basis for the product topology consists of all products of open sets. For infinite products, there is the additional requirement that in a basic open set, all but finitely many of its projections are the entire space. A quotient space is defined as follows: if is a topological space and is a set, and if is a surjective function, then the quotient topology on is the collection of