https://twitter.com/yoshihiro503/status/920979507053412353 から始まってなんか議論になっている感じだったのを見て，ちょっと考えてみた話．要するに，関数のオーダー全体の集合は自然な順序が入って join-semilattice になる．あと足し算もできる（実は…