Un lazo con base en formula_3 es una aplicación continua formula_6 que verifica formula_7.