V' \subseteq V