que V ⊂ U.