集合关于普通加法运算能构成半群。