是否有对于多维运算（比方说 $\max,+,\times$）的通用的半群结构，比方说什么“立方体”之类的，比方说矩乘就是二维运算的结构

这样是不是任何一般的线段树都可以机械推标记了