set-theoretic union