For which topological spaces $X$ is it the case that for all $Y \subseteq X$, $\mathrm{cl}(\mathrm{int}(Y)) = \mathrm{int}(\mathrm{cl}(Y))$?
If one replaces equality with inclusion (i.e., $\mathrm{cl}(\mathrm{int}(Y)) \subseteq \mathrm{int}(\mathrm{cl}(Y))$), one gets the extremally disconnected spaces. So, such spaces should be special kinds of extremally disconnected spaces.
Any discrete space clearly satisfies the condition. Indiscrete spaces with at least two points do not satisfy the condition, however, as for any nonempty proper subset, the closure of the interior is empty, while the interior of the closure is the whole space.
Consider the Sierpinski space $(\{0,1\},\{\emptyset, \{1\}, \{0,1\}\})$. Let's check the condition for each of the four subsets:
- $\mathrm{cl}(\mathrm{int}(\emptyset)) = \mathrm{cl}(\emptyset) = \emptyset$ and $\mathrm{int}(\mathrm{cl}(\emptyset)) = \mathrm{int}(\emptyset) = \emptyset$
- $\mathrm{cl}(\mathrm{int}(\{0\})) = \mathrm{cl}(\emptyset) = \emptyset$ and $\mathrm{int}(\mathrm{cl}(\{0\})) = \mathrm{int}(\{0\}) = \emptyset$
- $\mathrm{cl}(\mathrm{int}(\{1\})) = \mathrm{cl}(\{1\}) = \{0,1\}$ and $\mathrm{int}(\mathrm{cl}(\{1\})) = \mathrm{int}(\{0,1\}) = \{0,1\}$
- $\mathrm{cl}(\mathrm{int}(\{0,1\})) = \mathrm{cl}(\{0,1\}) = \{0,1\}$ and $\mathrm{int}(\mathrm{cl}(\{0,1\})) = \mathrm{int}(\{0,1\}) = \{0,1\}$
So, the Sierpinski space is a nondiscrete space satisfying the condition.
More generally, any extremally disconnected space that is also a door space (i.e., every subset is open, closed, or both) satisfies the condition. Indeed, if $Y$ is open, then $\mathrm{cl}(Y)$ is also open, and so both sides are equal to $\mathrm{cl}(Y)$, while if $Y$ is closed, then $\mathrm{int}(Y)$ is also closed, and so both sides are equal to $\mathrm{int}(Y)$. If $Y$ is clopen, then both sides are equal to $Y$. The Sierpinski space is an example of an extremally disconnected door space, and of course, discrete spaces are also extremally disconnected door spaces.
The disjoint union of a family of spaces $(X_i)$ satisfies the condition if and only if each $X_i$ individually satisfies the condition. So, the disjoint union of the Sierpinski space with itself (i.e., $\{0,1,2,3\}$ with the open sets being the subsets that do not contain $0$ without also containing $1$, nor contain $2$ without also containing $3$) satisfies the condition but is not a door space, as $\{0,3\}$ and $\{1,2\}$ are neither open nor closed.