Fórum studentů MFF UK

Mohl by mi tu někdo pomoct s hledáním podsvazů? Rád bych našel podsvazy tohoto svazu:

,

marně se snažím přijít na to, jaký postup je správný. Tříprvkové jsou jednoduché, čtyřprvkové celkem taky, i když si nejsem jistý, bude-li tam patřit {1, a, e, 0} či {1, a, d, 0}. U pětiprvkových to ale vázne. Jsou tam ještě jiné kromě {1, a, b, e, 0}, {1, c, d, e, 0} a {1, b, c, e, 0}? Tipoval bych {1, a, b, d, 0} a {1, a, d, c, 0} a už žádné další, je to tak? Díky za pomoc, případně za vysvětlení.

Ja mam za to, ze tam patri vsechny zminene. Ta relace je totiz tranzitivni, takze i kdyz treba mezi d a 0 neni nakreslena cara, tak tam vlastne je, akorat se to do Hasseova diagramu nekresli kvuli prehlednosti. viz http://algebra.matfyz.info/