PBW type bases

《Topology》 · 第 11 页 · Chapter 1，Section 1.5，Theorem 1.5

THEOREM. The monomials $F^r K^n E^s$ with $r, s, n \in \mathbb{Z}, r, s \ge 0$ are a basis of $U$.