Topological space (source code)

= Topological space
{wiki}

A topological space is a set together with a family of open subsets containing the empty set and the whole set and closed under arbitrary unions and finite intersections.