Además existe la comprobación de pertenencia (formula_1, ; formula_2, ) que técnicamente no es