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!