I'd like to show that, given borel measurable sets in and that
is Borel-measurable set in
Although it seems intuitively clear, I find it hard to prove. The structure of the Borel sets A,B may be quite complex, so I don't see how I could start. Can anyone maybe offer some insight?