Un conjunto formula_1 es denso en ninguna parte en un espacio métrico formula_2 si y sólo si, para cualquier conjunto abierto no vacío formula_3 en formula_2, existe un conjunto no vacío formula_5 tal que formula_6 y formula_7.