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

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

3: \end{definition}

4: