Formalmente, nuestro objetivo es dividir un conjunto de datos formula_1 (por ejemplo, una clave) en formula_2 partes formula_3 de manera que: