finite set of equations Synonyms