A\cup B\subseteq B