Category:Minimally Inductive Class under Progressing Mapping is Well-Ordered under Inclusion