Binary Cartesian Product in Kuratowski Formalization contained in Power Set of Power Set of Union/Proof 1

Proof
Let $x \in S$ and $y \in T$.

We are to show that $\set {\set x, \set {x, y} } \in \powerset {\powerset {S \cup T} }$.