Definición. (Sigma álgebra de Borel)
La sigma álgebra de Borel de
, denotada , se define como la mínima -álgebra de subconjutos de que contienen todos los intervalos de la forma Esto se escribe: A los elementos de
se les llama conjuntos de Borel, o Borel medibles, o borelianos de .