Definitions Found:

collection of subsets of a topological space having the property that every open set of a given topology can be written as the union of intersections of finite numbers of sets in the collection