Category:Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element