Una aplicación formula_10 de formula_11 es regular si: