Lefedőrendszer (halmazelmélet)

Sablon:Nincs forrás A halmazelméletben egy tetszőleges Ω halmaz egy lefedőrendszerén vagy lefedésén egy olyan R halmazrendszert (halmazcsaládot) értünk, amelynek tagjai (ha külön-külön nem is, de összességükben) tartalmazzák az Ω bármely elemét, vagyis amelynek unióhalmaza részként tartalmazza Ω-t:

$\mathrm{\Omega }\subseteq \bigcup _{X\in ℛ}X$.

Ha egyenlőség is teljesül, továbbá R nem üres, és tagjai páronként diszjunktak, akkor az Ω egy osztályfelbontásáról (partíciójáról) beszélünk.