Dilworth's theorem (Q6480558)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: [[]] |
theorem that the maximum size of an antichain in a finite partial order equals the minimum number of chains into which it can be partitioned
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dilworth's theorem |
theorem that the maximum size of an antichain in a finite partial order equals the minimum number of chains into which it can be partitioned |
Statements
Identifiers
DilworthsLemma
Dilworth's Lemma
1 reference
116795299
0 references
