{\displaystyle {\begin{aligned}A\ &{\underline {\delta }}\ B,\\B&\subset C,\\D&=C^{c},\\X&=D\cup C,\\A&\subset D,\ {\mbox{hence, we can write}}\\A\ {\underline {\delta }}\ B\ &\Rightarrow \ A\ {\underline {\delta }}\ C\ {\mbox{and}}\ B\ {\underline {\delta }}\ D,\ {\mbox{for some}}\ C,D\ {\mbox{in}}\ X{\mbox{ so that }}C\cup D=X.\qquad \blacksquare \end{aligned}}}