ormula_3为formula_1的一个准基（subbasis/subbase）。另一等价的定义为，若formula_3及其所有有限交集构成了拓扑空间formula_1之基，则formula_3为准基。例子：J.W. 亚历山大证明了：若每个准基覆盖都有一个有限个元素的子覆盖，则此空间是紧致的。