Sea $S$ un conjunto no vacío. Se denomina **partición de S** toda distribución de $S$ en subconjuntos no vacíos $A_i$, disjuntos dos a dos, de forma que $S$ corresponda a su unión. $\forall i\in I,\; A_i\neq\emptyset;\hspace{0.5cm}\; \forall i\neq j,\; A_i\cap A_j=\emptyset;\hspace{0.5cm}\bigcup_{i\in I}A_i=S$ Gráficamente, una partición no es más que la parcelización de una región como se observa en la siguiente figura: #Pendiente/Complementar %% No hay figura %% #Rev/2602 #Tipo/Definición