for X being set holds union (FlatCoh X) = X