فرض کنید r حلقه چندجمله ا‎‎یها با n‎ متغیر روی میدان ‎k‎‎ بوده و i‎ ایده آل منومیالی ازr‎باشد که همه مولدهای ‎‎i‎دارای درجه یکسانی هستند . ایده آل منومیال‎i مجموعه مولد ‎g(i)‎ را یک ایده آل پلی مترویدال می نا‎‎مند هرگاه به ازای هردو‎‎ منومیا‎ل‎ ‎ ‎‎$~‎ ‎‎x^{ u_{r}} = x^{ a_{1}}‎ ‎‎cdots‎ ‎‎‎x^{ a _{ n }} ‎~‎$‎ و ‎$ x^{ u _{ t }} = x^{ b _{ 1‎ }} ‎‎cdots‎‎ ‎x^{ b _{ n }} $‎ از‎$ ‎~‎gleft( i igh...