Mantido pelo grupo "Topologia do Interior"
Defina, para cada \( x \in \mathbb R\),
\[ \mathcal I_x = [x, x+1]\]
Logo, \(\mathcal J = \{\mathcal I_x : x \in \mathbb R \}\) é uma família de \(\mathfrak c\) fechados não enumeráveis.