1: \begin{definition}

2:   The monomial ideal $\LT(A.\I)$ with $A\in \mathcal{U}$ and $\mathcal{U}$

3:   as given in Theorem \ref{gal} is called {\em the generic initial ideal}

4:   of $\I$ (w.r.t.\ $\prec$) and is denoted by $\gin({\I})$.

5: \end{definition}