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