Formalmente hablando, una partición sobre formula_2 se define como un conjunto numerable: