- 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.
- a set S with an associated family of subsets τ that is closed under set union and finite intersection. S and the empty set are members of τ
