Supremum of Negative is Negative of Infimum

Last updated Nov 1, 2022

Let $A \subset \bar{\mathbb{R}}$. Denote $-A = {-a : a \in A}$. Then $$\sup(-A) = -\inf A$$

TODO

• Extended Real Numbers
• Set
• Supremum
• Infimum