\displaystyle\max_{\lesssim} \big({\mathsf{env}_{\mathcal{E}}(B)}\big) \cap {\mathsf{env}_{\mathcal{E}}(A)}) = \textstyle\bigcup \displaystyle\max_{\lesssim} \big({\mathsf{env}_{\mathcal{E}}(A)}\big) = \textstyle\bigcup \displaystyle\max_{\lesssim} \big({\mathsf{env}_{\mathcal{E}}(A)}\big) \cap A