Nested Interval Property (NIP) implies Least Upper Bound propery (LUB)

Printable View