„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=Hatványhalmaz+}}
 
== Halmazrendszerek avagy hipergráfok ==