问答题 设集合Sk={x|x∈I∧x≥k},k≥0,证明:(Sk,+)是一个半群,其中,+是普通加法运算.
【正确答案】首先验证Sk对运算+封闭.任取x,y∈Sk,则x+y≥2k≥k,故Sk对运算+封闭.
   再验证运算+满足结合律.任取x,y,z∈Sk,显然(x+y)+z=x+(y+z).
   所以(Sk,+)是一个半群.
【答案解析】