=== Exemplo === O intervalo $[0,1]$ com a topologia induzida pela métrica euclidiana é compacto. Como os conjuntos da forma $(a,b)\cap [0,1]$ formam uma base para $[0,1]$, então $$\mathcal{B}:=\{[0,b):0