Definition
Given . The weakest topology on that contains is the intersection of all the topologies that contains . This is a topology, and consists of , , and all unions of finite intersections of members from .
Example
such that .
Given . The weakest topology on that contains is the intersection of all the topologies that contains . This is a topology, and consists of , , and all unions of finite intersections of members from .
Example
such that .