Une division d'un ensemble dans des ensembles disjoints non vides qui couvrent complètement le jeu. En d'autres termes, une partition P d'un ensemble S est un ensemble de sous-ensembles avec les propriétés suivantes :

• ∀ s _i ∈ P, s _j'ai ≠ ø