  We prove a global domination principle in the setting of P-pluripotential
theory. This has many applications including a general product property for
P-extremal functions. The key ingredient is the proof of the existence of a
strictly plurisubharmonic P-potential.
