least upper bound property

Printable View