S\subseteq X