A与B是非空有界数集,那么它们符合确界原理必存在唯一的上(下)确界,
A+B={x│z=x+y,x∈A,y∈B},那么,它们的确界是sup (A+B),根据加法法则,sup (A+B)=sup A+sup B