. . "If a class b ii ordered by a relation R, and a ??? b, we say that z is an upper bound of a if, for all x, x???a implies xRz; and that z is a least upper bound of a if z is an upper bound of a and there is no upper bound y of a, different from z, such that yRz." . .