SICP chapter 3: How does `set!` works when its first arguement is a subexpression

Question

I don\'t understand the behavior of set! when its first argument is a sub-expression. For example, what does(set! (sub-expression x) y) do?