Una familia formula_81 se dice que es base (de la topología formula_13) si para cualquiera que sea el formula_83 existe un conjunto formula_84 de manera que formula_85.