Union of Transitive Class is Transitive/Proof 2

Proof
Let $A$ be transitive.

Let $x \in \ds \bigcup A$.

By Class is Transitive iff Union is Subclass we have that:
 * $\ds \bigcup A \subseteq A$

Thus by definition of subclass:
 * $x \in A$

As $A$ is transitive:
 * $x \subseteq A$

Let $z \in x$.

As $x \subseteq A$, it follows by definition of subclass that:
 * $z \in A$

Thus we have that:
 * $\exists x \in A: z \in x$

and so by definition of union of class:
 * $z \in \ds \bigcup A$

Thus we have that:
 * $z \in x \implies z \in \ds \bigcup A$

and so by definition of subclass:
 * $x \subseteq \ds \bigcup A$

Thus we have that:
 * $x \in \ds \bigcup A \implies x \subseteq \bigcup A$

Hence $\ds \bigcup A$ is a transitive class by definition.