El conjunto C es la unión de A y B, si para todo elemento x de C, se cumple que x es elemento de A o de B