Category:Minimally Closed Classes under Progressing Mapping