Dilworthov poučak

Dilworthov poučak, matematički poučak iz teorije skupova Nosi ime po matematičaru Robertu Palmeru Dilworthu.

Imamo

• konačan parcijalno uređen skup $P$
• $k$ veličina maksimalnog antilanca

Tada postoji

particija od $P$ u točno Obrada nije uspjela. (MathML sa SVG ili PNG za rezervu (preporučljivo za moderne preglednike i alate za pristupačnost): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} lanaca