1: \begin{definition}

2: Let $a \in \M$ and let $A \subset \M$.

3: By Theorem \ref{main}, (iv), there is some $b \in \M'$ such that $Lt(a/A)=Lt(b/A)$ and $b \da_A \M$.

4: Let $p=t(b/\M)$.

5: By a \emph{canonical base} for $a$ over $A$, we mean a canonical base of $p$.

6: We write $\alpha=Cb(a/A)$ to denote that $\alpha$ is a canonical base of $a$ over $A$.

7: \end{definition}

8: