A set of all Polynomials in variables, , ..., such that if , , and are members, then so are and , where is any Polynomial in , ..., .