Dos subconjuntos formula_17 se llaman formula_18equidescomponibles, o equidescomponibles con respecto a formula_9, si formula_1 y formula_2 pueden ser particionadas en el mismo número finito de respectivamente formula_9 piezas congruentes.