Partición (de un conjunto)

Una partición de un conjunto $A$ es una clase de subconjuntos $S_i$ de $A$ que son colectivamente exhaustivos y mutuamente excluyentes. En otras palabras, los subconjuntos son disjuntos (excluyentes) y su unión es $A$ (exhaustivos). Ejemplos: una partición de los enteros es en pares e impares, una partición de los enteros es en las clases residuales respecto al módulo 5.