(i) | $E \subseteq X$ is a D78: Subset of $X$ |
(i) | $E \subseteq X$ is a D78: Subset of $X$ |
▶ | D520: Set exterior |
▶ | D246: Topologically nowhere dense set |
▶ | R1149: Every point in open set is an interior point |
▶ | R4541: Open set is its own interior |
▶ | R3945: Set is a superset to its interior |