haskell - 证明 Haskell 语义中的传递性

Question

我正在学习 Haskell 的语义，在那里我遇到了这个问题：

我已经尝试过了，但仍然无法得出答案。如果有人向我解释如何证明这一点，那就太好了。谢谢你。

Answer 1

1. 只是一个草图->由于固定 n 的 pn(s) 是态射 Ninf -> N ，即Integers 到Integer的集合，这个证明可以使用这个关系简化为整数传递性的证明

2. [1,0,0 ..] -> [2,0,0 ..] -> [3,0,0 ..] -> ...
   我相信你会找到更有趣的