好きなモノイドなので前スレの内容に言及してしまうけど、
f(x)=min(a,max(b,x+c))
は合成について閉じてて面白い