Equality in a result of Kleitman (Q1320398)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equality in a result of Kleitman |
scientific article |
Statements
Equality in a result of Kleitman (English)
0 references
14 September 1994
0 references
If \(U_ 1\) and \(U_ 2\) are families of subsets of \(S\), both upsets, then \(| U_ 1 | | U_ 2 | \leq 2^{| S |} | U_ 1 \cap U_ 2 |\) with equality if every minimal element of \(U_ 1\) is disjoint from every minimal element of \(U_ 2\).
0 references
families of subsets
0 references
equality
0 references
minimal element
0 references
