„Részhalmaz” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a ISBN/PMID/RFC link(ek) sablonba burkolása MediaWiki RfC alapján |
→Speciális halmazrendszerek: lamináris |
||
68. sor:
: <math>A_1 \supseteq A_2 \supseteq A_3 \supseteq \ ... </math> leszálló tartalmazási lánc
Egy halmazrendszer lamináris, ha bármely két elemére teljesül a kettő közül valamelyik:
Ezzel szemben a Sperner-rendszerekben nincs két olyan egymástól különböző halmaz, amelyek egyike tartalmazza a másikat. Például egy alaphalmaz összes adott elemszámú részhalmaza Sprener-rendszert alkot. ▼
* Az egyik tartalmazza a másikat
* A két halmaz diszjunkt.
▲Ezzel szemben a Sperner-rendszerekben nincs két olyan egymástól különböző halmaz, amelyek egyike tartalmazza a másikat. Például egy alaphalmaz összes adott elemszámú részhalmaza Sprener-rendszert alkot.
==Részhalmazok mérete és száma==
* Véges halmazok összes részhalmaza véges, és méretükre teljesül, hogy:
| |||