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