These last three conditions are analogous to the definition of a group.
最後三個條件類似於一個群（group）的定義。