Zeta transform (source code)

= Zeta transform

The zeta transform on a finite <partially ordered set> sends $f$ to $F(x)=\sum_{y\le x}f(y)$. The <subset zeta transform> is the case where the order is inclusion of subsets.