集合S={X|X∈素数集合}上,运算定义为“数的加法”,是否构成半群()