Bounded Subset of Minimally Closed Class under Progressing Mapping has Greatest Element

Theorem
Every bounded subset of $N$ has a greatest element.