W ⊂ U.