A\subseteq X