yes, definitely some of it is (purposefully) fast and loose, though (ideally!) mostly unambiguous with reasonable assumptions
I think that part should've been "vector subspaces" rather than vector spaces since that is how U and W are defined in the paragraph prior.
I'll add this as a note, thanks!