Theorem
Let
represent a subbase for a topology
on a set
and let
denote any subset of
The family
is a subbase for the relative topology
on
Proof
Let
be an open subset ofwith respect to the topologythen
where
is some- open subset ofThe familyis a subbase for
therefore
