定义一种运算“*”,对于n∈N,满足以下运算性质: