🌐EnglishEnglishDeutschEspañolPolskiPortuguêsTürkçe한국어中文日本語EntityQ2226786· pop 7· linked from 18 articlesSperner's theoremtheorem on the largest antichain of setsAvailable in 7 languagesEspañolDeutschCroatianHungarianPolski한국어via Wikidata sitelinks · CC0Connectionspartially ordered setEntityDilworth's theoremEntityCategoriesFactorial and binomial topicsFamilies of sets