\input amstex

\def\defeq{\overset\hbox{\scriptsize def}\to=}

$\aligned
x\in A\cup B&\defeq x\in A\lor x\in B\cr
x\in A\cap B&\defeq x\in A\land x\in B\cr
x\in A'&\defeq \neg(x\in A)\cr
x\in(A\cup B)'&=\neg(x\in A\cup B)=\neg(x\in A\lor x\in B)=\cr
&=\neg(x\in A)\land\neg(x\in B)=x\in A'\cap B'
\endaligned$