topological space

a set with a collection of subsets or open sets satisfying the properties that the union of open sets is an open set, the intersection of two open sets is an open set, and the given set and the empty set are open sets.