پوشش (توپولوژی)

در ریاضیات، یک پوشش برای مجموعه X، دسته ای از مجموعه‌ها است که اجتماع آن‌ها شامل X باشد. به‌طور کلی اگر

$C=\{U_{\alpha }:\alpha \in A\}$

باشد، آنگاه C یک پوشش برای X است اگر:

$X\subseteq \bigcup _{\alpha \in A}{U}_{\alpha }.$