La notación usual de teoría de conjuntos es utilizada, y se define a formula_6 como un multiconjunto.