Poučak Mirskog
Izvor: Hrvatska internetska enciklopedija
Poučak Mirskog, matematički poučak iz teorije skupova[1] Nosi ime po matematičaru Leonu Mirskom.
Imamo
- konačan parcijalno uređen skup [math]\displaystyle{ P }[/math]
- [math]\displaystyle{ k }[/math] elemenata maksimalnog lanca
Tada postoji
particija od [math]\displaystyle{ P }[/math] u točno [math]\displaystyle{ k }[/math] antilanaca
Izvori
- ↑ PMF Zagreb Matija Bašić: Uvod u algebarsku topologiju - Parcijalno uređeni skupovi - O lancima i antilancima, 21. svibnja 2014., str. 1 (pristupljeno 19. prosinca 2019.)