模系統

變數 中所有 多項式的集合 ，使得如果 、 和 是其成員，則 和 也是其成員，其中 是變數 , ..., 中的任何 多項式。