Minimally Closed Class under Progressing Mapping is Well-Ordered

Theorem
$N$ is well-ordered under the inclusion relation.