least-upper-bound property

property of a partially ordered set

Categories: