In topology in mathematics, a subbase (or subbasis, prebase, prebasis) for the topology τ of a topological space (X, τ) is a subcollection of that generates in the sense that is the smallest topology containing as open sets. A slightly different definition is used by some authors, and there are other useful equivalent formulations of the definition; these are discussed below.