Dado un espacio topológico , la σ-álgebra de Borel es la σ-álgebra generada por la topología : Es decir, es la colección más pequeña de subconjuntos de que contiene a todos los abiertos de y que es cerrada bajo complementos y uniones numerables.