في الرياضيات، يعرف غطاء مجموعة X على أنه اجتماع عدة مجموعات بحيث تكون المجموعة X مجموعة جزئية في اجتماع هذه المجموعات.
يعبر عنها بالرموز على الشكل: إذا كانت
C
=
{
U
α
:
α
∈
A
}
{\displaystyle C=\lbrace U_{\alpha }:\alpha \in A\rbrace }
هي عائلة مفهرسة للمجموعات Uα عندها تكون C غطاء للمجموعة X إذا تحقق:
X
⊆
⋃
α
∈
A
U
α
{\displaystyle X\subseteq \bigcup _{\alpha \in A}U_{\alpha }}