We observe that the join operation for the Bruhat order on a Weyl group agrees with the
intersections of Verma modules in type A. The statement is not true in other types, and we …