Em Topologia, uma base de um espaço topológico é uma coleção de abertos que gera todos abertos, de forma que qualquer aberto é uma união de abertos da base.