Mientras que muchos teoremas importantes en topología de puntos requieren el axioma de elección, esto no es verdad para sus análogos en teoría de locales.