1: \begin{definition}\label{def:PBWbasis2}

2: A Poincar\'{e}-Birkhoff-Witt basis (PBW basis for short) for a $V$ module $M$ is a basis of $M$ obtained by taking a subset of the monomials appearing in Theorem \ref{thm:module-gen}.

3: \end{definition}

4: