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

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

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

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

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