  It is proved that the Poisson enveloping algebra of a double Poisson-Ore
extension is an iterated double Ore extension. As an application, properties
that are preserved under iterated double Ore extensions are invariants of the
Poisson enveloping algebra of a double Poisson-Ore extension.
