Un conjunto de Borel es un elemento de la llamada σ-álgebra de Borel, la cual no es más que la mínima σ-algebra que contiene a una topología dada. Como caracterización alternativa, también se puede decir que un conjunto de Borel es cualquier conjunto obtenido mediante uniones e intersecciones numerables de conjuntos cerrados o abiertos.