개의 변수
에 대한 단항식(單項式, 영어: monomial)은

과 같은 꼴의 다항식이다.
개 변수에 대한 단항식 순서(單項式順序, 영어: monomial order)는 다음 성질들을 만족시키는, 단항식 집합 위의 전순서
이다. 모든 단항식
에 대하여,


체
에 대한 다항식환
을 생각하자. 그렇다면 다항식
은 단항식의 합으로 분해할 수 있다. 단항식 순서
에 대한 다항식
의 최고차항(영어: leading term)
은
를 구성하는 단항식들 가운데, 단항식 순서
에 대하여 가장 큰 단항식이다.
아이디얼
와 단항식 순서
가 주어졌다고 하자. 만약 다항식 집합
의 최고차항들로 생성되는 아이디얼
가
의 최고차항으로 생성되는 아이디얼
와 일치한다면,
를
의 그뢰브너 기저라고 한다.
