Kresy Kaladin: Mam udowodnić, że dla niepustego i ograniczonego zbioru A sup(−A)=−inf(A) Z definicji supremum wiemy że dla każdego x należącego do A zachodzi: infA≤x≤supA. Mnożę obie strony przez −1: −infA≥ −x≥ −supA −x są elementami zbioru −A, więc sup(−A)= −infA cbdu Czy ten dowód jest poprawny ?