Theorem: Supremum Property, Infimum Property 

Every non-empty subset of real numbers, which has an upper bound, has also a supremum. Equivalently, we say that real numbers have the supremum property.

Every non-empty subset of real numbers, which has a lower bound, has also an infimum. Equivalently, we say that real numbers have the infimum property.

| | | | | created: 2016-03-04 19:25:29 | modified: 2016-03-04 19:41:04 | by: bookofproofs | references: [581]

1.Proof: of Existence (related to "Supremum Property, Infimum Property")