n. a set with an associated family of subsets, the open sets (see open set), including the whole set and the empty set, that is closed under set union and finite intersection; the family of subsets is usually denoted θ. See topology (sense 3).