積が冪等なら順序が一意的に定まることをもっとちゃんと考えようとしたけど、序盤に計算ミスしてて全部無に帰した。