もう正月はいいや。普通に戻りたーい。ウィリアム・ローヴェルのアレなんだが、(a o- b) = max(a-b, 0) という制限差により、[0, ∞]自体、一般化距離空間になる。これは、[0, ∞]を高度と考えた坂道の空間で、距離は、なんらかの意味で移動の労力（滑り降りる…