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 é