Supremum of an open disc under product and lexicographic orders
ID: supremum-of-an-open-disc-under-product-and-lexicographic-orders
For , the product order gives least upper bound , because each coordinate has supremum one. The lexicographic order instead has no least upper bound. Every point is an upper bound, but is a strictly smaller upper bound; a point with first coordinate below one cannot bound the disc. The same geometric set therefore has different order-completeness behavior under the two partial orders. Neither conclusion is determined by the usual drawing alone.
New to topics? Read the docs here!
