¿Qué clase de conjunto es formula_16? ¿Normal o Singular?