Theorem
Letrepresent a subbase for a topology
on a set
and let
denote any subset of
The family
is a subbase for the relative topologyon
Proof
Letbe an open subset of
with respect to the topology
then
where
is some
- open subset of
The family
is a subbase for
therefore