Dilworth theorem
قضیه دیلورث
مجموعه اسپرنر
Sperner theorem
قضیه اسپرنر
partially ordered set
مجموعه جزئامرتب
antichain
پادزنجیر