よく混乱するので，自分用のメモとして分かりやすくまとめておく． 遅延伝播*1についての説明は省略． 要件 半群 $(S, \bullet)$，モノイド $(O, \circ, e)$ と，(外部) 二項演算 $\triangleleft : S \rightarrow O \rightarrow S$ について， $\forall s \i…