Lefedőrendszer (halmazelmélet)
 |
Ez a szócikk nem tünteti fel a független forrásokat, amelyeket felhasználtak a készítése során. Emiatt nem tudjuk közvetlenül ellenőrizni, hogy a szócikkben szereplő állítások helytállóak-e. Segíts megbízható forrásokat találni az állításokhoz! Lásd még: A Wikipédia nem az első közlés helye. |
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:
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.