Definition:Recursively Defined Mapping on Natural Numbers