# 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$.