Por definición, formula_1 cuando formula_2, si y solo si: