Un conjunto de Borel es un elemento de la llamada σ-álgebra de Borel, la cual no es más que la mínima σ-álgebra que contiene a una topología dada.