Sea $A$ sea un conjunto cerrado que no sea un conjunto semiabierto. Entonces $\overline{A^\circ}\neq A$ (ya que de lo contrario bastaría con elegir $B=A^\circ$ ). A la inversa, si $\overline{A^\circ}\neq A$ entonces para cualquier subconjunto abierto $B\subset A$ tenemos $B\subset A^\circ$ (ya que $A^\circ$ es el subconjunto abierto máximo de $A$ ), y por lo tanto $\overline{B}\subset\overline{A^\circ}\subsetneq A$ . Por lo tanto tenemos:
Propuesta - Deja $A$ sea un conjunto cerrado. Entonces $A$ es un subconjunto semiabierto si y sólo si $\overline{A^\circ}=A$ .
Tu pregunta puede reformularse como: encontrar subconjuntos cerrados $A$ tal que $\overline{A^\circ}\neq A$ lo que significa $\exists p\in A:p\notin\overline{A^\circ}$ lo que significa $\exists p\in A$ tal que $p$ y $A^\circ$ están separadas (por subconjuntos abiertos). Sugerido por la terminología ningún subconjunto denso dicho conjunto podría denominarse no denso en alguna parte . Obviamente, todos los subconjuntos densos no vacíos en ninguna parte no son densos en alguna parte (es decir, el caso de interior vacío).
En el caso de $\mathbb{R}$ bastaría con un punto aislado del conjunto.