A\subseteq B