„Matroidaxiómák” változatai közötti eltérés

a (Robot: Szomszédos írásjelek kurziválása)
(→‎A bővíthetőségi axiómarendszer: 3. axióma pontosítása)
# a halmazrendszer '''nem üres''';
# a halmazrendszer '''leszálló''', azaz egy független halmaz összes részhalmaza is független;
# a független halmazok '''kölcsönösen bővíthető'''ek: ha két független halmaz számossága eltérő, akkor a nagyobból (a több elemet tartalmazóból) ki tudunk választani egy, a kisebb halmazban nem szereplő elemet úgy, hogy azt a kisebbe téve az így „bővített kisebb” halmaz is független.
 
Ez a matroidok definiálására leginkább használt axiómarendszer.
52

szerkesztés