Matematické Fórum

Dobré ráno,

mám trochu problém s hledáním víceprvkových podsvazů. Vezmu-li v úvahu svaz, který je na obrázku,



podsvazy takového svazu jsou následující:
- prázdná množina a celý zobrazený svaz jsou zcela jistě podsvazy
- všechny prvky svazu tvoří jednoprvkové podsvazy svazu
- dvouprvkové budou všechny porovnatelné dvojice - tedy všechny dvojice s nulou, dále pro b to budou prvky e, a, 1, d; pro e jen prvek 1 a tak dále
- tříprvkové jsou ještě docela intuitivní, např. {0, c, e}, {0, c, 1}, {b, a, 1} atd,
ale s dalšími si nevím rady, jak určím třeba všechny pětiprvkové?