Relative PBW type theorems for symmetrically braided Hopf algebras

We show that in characteristic zero all irreducible symmetrically braided Hopf algebras are of PBW type. Consequently, we obtain conditions for a braided Hopf algebra to be of PBW type as module over a braided Hopf subalgebra containing the coradical.