General Formulation of the S-Procedure

We extend the S-procedure formulation to the general perturbational duality frame and give necessary and sufficient conditions for its validity, pointing out the hidden part of convexity.