Teşekkürler. İspatın ikinci kısmı için
A kümesi üstten sınırlı ise A+c kümesi de üstten sınırlı olacağından
(∀a∈A)(a+c≤sup(A+c)) ⇒ (∀a∈A)(a≤sup(A+c)−c)
⇒ sup(A+c)−c \in A^{ü}
\Rightarrow \sup(A) \leq \sup(A+c)-c
\Rightarrow \sup(A)+c \leq \sup(A+c)
şeklinde bir ispat yapılabilir mi?
(Burada A^{Ü} gösteriminden kasıt A kümesinin üst sınırlarının oluşturduğu kümedir.)