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