和这个之前的帖子说的是一个问题。

这个$(x,y,z)\to(ax,y,z)$很容易理解成$x$乘上$a$，并且满足$x \subseteq ax$，应该标注一下$ax\not=a\times x$。