The Postal Owl

Aha, to mě vůbec nenapadlo. Tak tedy v tom případě jinak: každému prvku přířadíme jeho vlastní underset sjednocený s jednoprvkovou množinou obsahující samotný prvek (kdyby se jednalo o ostré uspořádání). Pokud je prvek a pod b, pak underset b obsahuje určitě a, taky je underset a podmnožinou undersetu b (z přednášky). Naopak pokud x není pod y, pak v množině, kterou přiřadíme y nebude prvek x, takže množina přiřazená prvku x nebude podmnožinou množiny přiřazené prvku y.

Preview