for D being set
for p, q being FinSequence of D holds Union (p ^ q) = (Union p) \/ (Union q)