Introduction
Un recouvrement d'un ensemble X est un ensemble P de sous-ensembles non vides de X tel que l'union de ces sous-ensembles soit égal à X. Autrement dit P est un recouvrement de X si et seulement si tout élément x de X se trouve dans au moins l'un des éléments de P.
Une partition est un recouvrement particulier.
Exemple : Soit l'ensemble X suivant : X = {1, 2, 3, 4}.
Un recouvrement de X est { {1, 2, 3}, {3, 4} }. { {1, 2}, {3, 4} } est une partition de X.