弱问：这样一个结构有名字吗

我们常用的reduce 或foldl 可以将一个序列不断丢入一个函数，与前一个结果计算，最后“精练”成一个元素。
那么反向的运算有没有名字呢？
即从x_0 不断用函数f迭代： x_i+1 = f( x_i) 并将g(x_i) 收集成一个序列。
这种事情还是挺常见的，比如字符串变成一列字符，或者求自然数的各位上的数字等。