for X being non empty Subset of ExtREAL holds inf (- X) = - (sup X)