A collection S of subsets of a set X whose finite intersections form a basis for a topology on X; the topology generated by S is the collection of arbitrary unions of finite intersections of elements of S.

Principle

Generate a topology by first closing S under finite intersections to obtain a basis, then taking arbitrary unions; S serves as a minimal generating family that often simplifies descriptions and proofs (e.g. Alexander subbase theorem).

Demonstration

Example: on R the collection of all rays of the form (−∞,a) and (b,∞) is a subbasis; finite intersections produce open intervals (a,b) which form a basis and unions of these give the usual topology.

Misapplication

Assuming finite unions of subbasis elements suffice to form the topology or failing to take intersections before unions; confusing subbasis elements with basis elements and thereby miscomputing generated opens.

Consequence

Subbases provide flexible generators for topologies and play a central role in compactness criteria (Alexander's subbase theorem), making some existence and compactness arguments more tractable than working directly with bases.

Reversal

Starting from a basis one can view it as arising from a subbasis by decomposing basis elements into unions of finite intersections; conversely, passing from a subbasis to its generated basis makes explicit the required finite‑intersection step.

Boundary

A subbasis need not consist of open sets a priori; it is purely a generating device—only after forming the generated topology do elements become open. Subbases are distinct from neighborhood bases and from arbitrary generators that fail to close under the finite‑intersection→union procedure.

Semantic Tension

Tension with 'basis': a subbasis is weaker and more primitive—every basis is a subbasis but not conversely; with 'generating set' there is also tension over minimality and the order of intersection versus union operations.

Synthesis

A subbasis is a generating collection whose finite intersections yield a basis and whose arbitrary unions yield the topology; it is a compact, often minimal descriptor of a topology that becomes a practical tool in constructions and compactness arguments.