„Halmazrendszerek geometriája/Halmazrendszerek és hipergráfok” változatai közötti eltérés

Megjegyzés: Az iménti bizonyítás az adott tételhez elképzelhető leghosszadalmasabb bizonyítások egyike, annak ellenére, hogy nagyon egyszerű, elemi alapgondolatokra épül. A benne felhasznált megszámolásos módszer (az m('''R''') függvény bevezetése) azonban igen hasznos eszköz a kombinatorikában, más problémákra is alkalmazható, azonkívül egy [[#Hipergráf Boole-vektora|lentebbi fogalom]] definíciójához felhasználjuk majd.
 
{{HGF|1=Hatványhalmaz|2=...}}
<big><big><big>⍰</big></big></big> Gyakorló feladat: Bizonyítsuk, hogy ha egy halmaz hatványhalmazának minden eleméhez hozzárendeljük a halmaz felett értelmezett karakterisztikus függvényét, akkor egy bijektív leképezést kapunk! [[Megoldás: coming soon hopely]].
 
== Halmazrendszerek avagy hipergráfok ==