Answer
$For\,\,all\,\,sets\,\,A,\,B,\,and\,C,\\
A \cup (B - A) = A \cup B.\\
Proof:\\
A \cup (B - A)=A \cup (B \cap A^c)\\
by(set\,\,dif\! ference\,\,law )\\
=(A\cup B)\cap (A\cup A^c)\\
by(distributive\,\,law)\\
=(A\cup B)\cap U\\
by(complement\,\,law\,for\,\cup )\\
=A\cup B \\
by(identity\,law\,for\,\cap )\\$
Work Step by Step
$For\,\,all\,\,sets\,\,A,\,B,\,and\,C,\\
A \cup (B - A) = A \cup B.\\
Proof:\\
A \cup (B - A)=A \cup (B \cap A^c)\\
by(set\,\,dif\! ference\,\,law )\\
=(A\cup B)\cap (A\cup A^c)\\
by(distributive\,\,law)\\
=(A\cup B)\cap U\\
by(complement\,\,law\,for\,\cup )\\
=A\cup B \\
by(identity\,law\,for\,\cap )\\$