User blog comment:Ynought/Z function/@comment-25601061-20181016210247/@comment-35470197-20181016225607

I think that \(Z\) is a function on \(n\), as \(y\) runs through all positive integers such that the resulting sequences are infinite ones.