Espacio de Stone

Un espacio de Stone es un espacio topológico compacto, de Hausdorff y totalmente disconexo que surge como el espacio de ultrafiltros de una álgebra booleana o, en teoría de modelos, como el espacio de tipos completos en n variables (espacio de tipos) equipado con la topología generada por los conjuntos de tipos que contienen una fórmula dada; los puntos corresponden a ultrafiltros/tipos completos

Un espacio topológico compacto, de Hausdorff y cero-dimensional (totalmente desconexo) que surge como el objeto dual de un álgebra de Boole mediante la dualidad de Stone; los puntos corresponden a ultrafiltros y los conjuntos clopens a elementos del álgebra.