A conditional equation of the form l | c = r is applicable for reduction if its condition c has been solved.
O ecuație condiționată a formulei l | c = r este aplicabil pentru reducere dacă condiția lui c a fost rezolvată.