Minimally Closed Class under Progressing Mapping induces Nest/Proof