Visto de esta forma, uno dice que formula_2 está bien definida si el diagrama mostrado conmuta.