A c= S by MEASURE2:def 1;
hence union A is Element of S by MEASURE1:def 9; :: thesis: verum