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.