已知：S1,S2，上有界集合，S={x+y/x属于S1,y属于S?
请详细说明，求证什么？