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

Tartalom törölve Tartalom hozzáadva
282. sor:
 
A Boole-vektor az első hatásos eszköz arra, hogy a hipergráfokat valemiféle rendezett és kényelmesebben elgondolható alakban képzelhessük el; a rengeteg idegölő, a szó szoros értelmében szemkápráztató kapcsos zárójelet és alsó indexet tartalmazó halmazelméleti formulák erre kevéssé alkalmasak. [[Halmazrendszerek geometriája/Illeszkedési struktúrák#Karakterisztikus függvény. Incidenciamátrix.|Nemsokára]] a Boole-vektornál is fontosabb szemléltető eszközöket is megismerünk.
 
=== Rszhipergráf ===
 
{{HGDef|1=
Legyen <big>''H''</big> := <big>{U, E}</big> egy <big>U</big> halmaz feletti hipergráf. Az <big>''J''</big> := <big>{U, F}</big> hipergráfot a <big>''H''</big> '''részhipergráf'''jának nevezzük, ha
 
<center> <big>F</big>⊆<big>E</big>,</center>
 
:azaz ha <big>''F''</big> minden éle egyben <big>''H''</big>-nak is éle. E relációt ⊆ jelöli <ref>A jelölések azonossága nem okoz majd félreértést, ugyanis egy hipergráfnak bármely részhipergráfja halmazelméleti értelemben is részhalmaza, bár megfordítva ez nem igaz.</ref>
}}
 
=== A hipergráfok nevezéktanáról ===