قضیه دیلورث
preferred label: Dilworth theorem @en
type: Concept
related: پادزنجیر

پادزنجیر
alternative label: مجموعه اسپرنر
related: قضیه اسپرنر
related: قضیه دیلورث
broader: مجموعه جزئامرتب
preferred label: antichain @en
type: Concept

قضیه اسپرنر
preferred label: Sperner theorem @en
type: Concept
related: پادزنجیر

مجموعه جزئامرتب
preferred label: partially ordered set @en
type: Concept
narrower: پادزنجیر