Minimally Closed Class under Progressing Mapping/Statement

Minimally Closed Class under Progressing Mapping: Statement of Conditions

Let $N$ be a class which is closed under a progressing mapping $g$.

Let $b$ be an element of $N$ such that $N$ is minimally closed under $g$ with respect to $b$.