Siendo formula_61 el conjunto de variables básicas que restringen el valor de formula_45, que son aquellas con índice formula_63 tal que formula_64.