Double Induction Principle for Minimally Closed Class