To extend the class existence theorem, a formula containing relations and operations is transformed into an equivalent formula satisfying the hypothesis of the class existence theorem.
A formula containing relations and operations is transformed into an equivalent formula. This was to extend the class existence theorem. This equivalent formula is satisfying the hypothesis of the class existence theorem.