for Omega being non empty set
for f being SetSequence of Omega holds union (rng (disjointify f)) = union (rng f)