. . "of B is an upper bound of A, and every element of B is a lower bound" . .