>>928
どっちでもいいんだけど
加法の単位元と乗法の単位元を含む方が美しいというか意味ありげに見える