En matemáticas, particularmente en topología, un espacio topológico "X" es sobrio si para todos los subconjuntos cerrados "C" de "X" que no contienen estrictamente un conjunto cerrado no vacío más pequeño, existe un único punto "x" en "X" tal que "C" es la clausura del singulete {"x"}.