A collection B of open subsets of a topological space X such that every open set in X is a union of elements of B, and for every x in X and B1,B2 in B with x∈B1∩B2 there exists B3 in B with x∈B3⊆B1∩B2; B is called a basis for the topology.

Principle

Two defining rules: (1) coverage—unions of basis elements produce all open sets; (2) local intersection property—finite intersections of basis elements about a point contain another basis element, ensuring local coherence of the generated topology.

Demonstration

Standard example: on R with the usual topology, the set of all open intervals (a,b) forms a basis because any open set is a union of such intervals and the intersection of two intervals around a point contains a smaller interval.

Misapplication

Calling any generating collection a 'basis' without checking the intersection property, or confusing a topological basis with a vector space basis (algebraic linear independence and span), which leads to category‑mistaken arguments.

Consequence

Providing a basis simplifies construction and verification of topologies, continuity and convergence: to check continuity it suffices to check inverse images of basis elements, and bases give explicit local descriptions used in product and subspace constructions.

Reversal

Given a topology τ one can reverse the construction: the topology determines many possible bases (e.g. the set of all open sets is itself a basis); conversely, from a basis one constructs the unique topology it generates.

Boundary

Applies specifically to topological spaces and collections of open sets; a basis must consist of open sets for the intended topology and satisfy the two rules—collections failing the intersection property do not qualify as bases though they may generate a topology as a subbasis.

Semantic Tension

Tension arises with 'neighborhood bases' and 'algebraic bases': a neighborhood basis at a point is a local notion (may not generate the whole topology), while an algebraic basis is unrelated; also differs from 'subbasis', which generates a basis by finite intersections.

Synthesis

A topological basis is a locally coherent generating family of open sets whose unions yield every open set and whose local intersections around points remain representable within the family, giving an efficient, local description of a topology.