B\subseteq A\cup B