Se definen "s" restricciones "g" (x) = 0, k=1..., s, y se observa (si las restricciones son satisfechas) que: