  We prove in a very general framework several versions of the classical
Poincar\'e-Birkhoff-Witt Theorem, which extend results from [BeGi, BrGa, CS,
HvOZ, WW]. Applications and examples are discussed in the last part of the
paper.
