Therefore, for a union operation r s to be valid, we require that two conditions hold:

1. The relation r and s must be of the same arity. That is, they must have the same number of attributes.

2. The domains of the ith attribute of r and the ith attribute of s must be the same, for all i.