模系统

变量 中所有 多项式的集合 ，使得如果 、 和 是其成员，则 和 也是其成员，其中 是变量 , ..., 中的任何 多项式。