Entonces, la condición 5 dice que para todo formula_31, existe formula_32 tal que formula_13 ° formula_34.