(ITA - 2006 - 1a fase)
Seja U um conjunto não vazio com n elementos, n ≥ 1. Seja S um subconjunto de P(U) com a seguinte propriedade:
Se A, B ∈ S, então A ⊂ B ou B ⊂ A.
Então, o número máximo de elementos que S pode ter é
2n-1
n/2, se n for par, e (n + 1)/2 se n for ímpar
n + 1
2n - 1
2n-1 + 1