（1）封闭性（Closure）：对于任意 a，b∈G，有 ab∈G （2）结合律（Associativity）：对于任意 a，b，c∈G，有（ab）c=a（bc） （3）幺元 （Identity）：存在幺元 e，使得对于任意 a∈G，ea=ae=a （4）逆元：对于任意 a∈G，存在逆元 a^-1，使得 a^-1a=aa^-1=e 则称（G，）是群，简称 G 是群。
如果仅满足封闭性和结合律，则称 G 是一个半群（Semigroup）；如果仅满足封闭性、结合律并且有幺元，则称 G 是一个含幺半群（Monoid）。
So Promise isn’t a monaid for lack of identity