Soit 
un ensemble de cardinal 
.
Soient 
des parties de , deux à deux distinctes.
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