Seja um conjunto não vazio com elementos, . Seja um subconjunto de com a seguinte propriedade:
Se , então ou .
Então, o número máximo de elementos que pode ter é
Seja um conjunto não vazio com elementos, . Seja um subconjunto de com a seguinte propriedade:
Se , então ou .
Então, o número máximo de elementos que pode ter é