x is an accumulation point of (SUT)' iff there exists a sequence of distinct points a_n of SUT with |x - a_n| < 1/n. This is true iff either infinitely many of the points belong to S or infinitely many belong to T (or both), which is true iff either x belongs to S' or x belongs to T'. Hence (SUT)' = S'UT'.