Let be a set. A subbasis for a topology on is a collection
of subsets of whose union equals .
Let be a subbasis for a topology on . The
set of all [something of something of something] is
a topolgy on . This topology is said to be generated by the
subbasis .
It can be proved that the generated set forms a valid topology.