Class Mapping has Minimally Superinductive Class

Theorem
Let $g$ be a (class) mapping.

Then there exists a class $M$ that is minimally superinductive under $g$.