תהי n־יה סדורה. נגדיר:
עבור פונקציות נגדיר:
סימון מקוצר זה ישמש אותנו רבות בעמודים הבאים ובהוכחה.
יהי שדה. אזי הוא מרחב הפולינומים במשתנים עם מקדמים ב־.
מונום (חד־אבר) הוא פולינום מן הצורה , כאשר וכן .
יהי , ויהי וקטור מעריכים. נגדיר:
- מעלת פולינום (שאינו פולינום האפס) שוה למקסימלית מבין מעלות המונומים המרכיבים אותו.
מכפלת מונומים מקיימת חיבור וקטורי מעריכים:
יהיו מונומים.
נאמר כי בעל סדר קטן מ־ (ונסמן ) אם קיים אינדקס עבורו מתקיים
במלים אחרות, בין שני הוקטורים קיים יחס סדר מילוני.
למונום בעל בעל הסדר המקסימלי בפולינום נקרא המונום המוביל, ונסמנו .
יהיו פולינומים. אזי מתקיים .
יהיו מונומים, כאשר .
1. נניח כי . נראה כי מתקיים לכל .
מן ההגדרה, קיים אינדקס עבורו מתקיים
2. נניח כי גם . נראה כי מתקיים .
מן ההגדרה, קיימים אינדקסים עבורם מתקיים בהתאמה
כלומר:
יהי פולינום. נגדיר:
כלומר, קבוצת כל המונומים המתוקנים ממעלה ובעלי סדר קטן מזה של .