theorem Th1: :: MEASURE1:1

for X, Y being set holds union {X,Y,{}} = union {X,Y}