These last three conditions are analogous to the definition of a group.
最後の3つの条件は群の定義と類似している。