## Subbase For a Topology

Theorem

Letrepresent a subbase for a topologyon a setand letdenote any subset of

The family

is a subbase for the relative topologyon

Proof

Letbe an open subset ofwith respect to the topologythen whereis some- open subset ofThe familyis a subbase fortherefore