Se dice que el par formula_11 es una descomposición celular de formula_10 si formula_13 es una partición de formula_10 en células, es decir, cada elemento de formula_13 es una célula, formula_10 es la unión de todos los elementos de formula_13 y dos elementos distintos de formula_13 son disjuntos (si formula_19 y formula_20, entonces formula_21).