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