theorem Th52: :: MEASURE9:1

for K being Relation st rng K is empty-membered holds
union (rng K) = {}