In the partially ordered set , the assertion means bothThe first condition makes an upper bound; the second makes it the least upper bound. Both conditions are necessary, and antisymmetry makes such an element unique.
Articles by others on the same topic
There are currently no matching articles.