Finite set of equations to be solved simultaneously (as a logical conjunction), possibly for multiple unknowns