Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/ib/paper-2/13g/a/solution

Define to be the family of all unions of members of , including the empty union. We will verify that this is a topology and that is a basis of a topology. The two conditions play different roles: the covering condition supplies the whole space, while the local intersection condition supplies closure under finite intersections.

New to topics? Read the docs here!