It always possible to shrink a domain $U_\alpha$ to $V_\alpha$ in the sense that $$V_\alpha\Subset U_\alpha\quad\text{and} \quad\bigcup_{\alpha}U_\alpha=\bigcup_{\alpha}V_\alpha\,?$$
What does $\Subset$ mean ? Is it an error ?
It always possible to shrink a domain $U_\alpha$ to $V_\alpha$ in the sense that $$V_\alpha\Subset U_\alpha\quad\text{and} \quad\bigcup_{\alpha}U_\alpha=\bigcup_{\alpha}V_\alpha\,?$$
What does $\Subset$ mean ? Is it an error ?
According to my Differential Geometry professor, it means that the closure of $V_{\alpha}$ is contained in $U_{\alpha}$.
According to Silvia Ghinassi and other sources, it generally means that the closure of $V_{\alpha}$ is a compact subset of $U_{\alpha}$, in which case the notation $V_{\alpha}\Subset U_{\alpha}$ is read "$V_{\alpha}$ is compactly contained in $U_{\alpha}$".