Saying either or both in first-order predicate logic?

Question

I have a statement along the gist of "Each member of A is either Y, Z, or both"

Would the appropriate way to write this using first-order logic be:

∀x (A(x) → (Y(x) ∨ Z(x)))

Would it suffice to just use a disjunction here? Or would this be written as

∀x (A(x) → (Y(x) ∨ Z(x)) ∨ (Y(x) ∧ Z(x)))

or is this redundant?

Answer 1

Since $(A \land B) \implies (A \lor B)$ the second clause in $ (Y(x) \lor Z(x)) \lor (Y(x) \land Z(x))$ is redundant.