Soit 
un ensemble de cardinal 
et soient 
des parties distinctes de 
On suppose que, pour tout couple d’éléments distincts de 
il existe 
tel que 
contienne l’un des deux éléments et pas l’autre.
Montrer que 
et que cette inégalité est optimale.
Une solution est disponible ici