Category:Relation on Slowly Progressing Mapping which fulfils conditions of General Double Induction Principle