Conversely, given an arbitrary collection
of subsets of , a topology can be formed by first taking the collection
of finite intersections of members of
and then taking the topology
generated by as basis.
will then be the smallest topology such that
.