I can reason this out intuitively (it seems obvious), but I can't seem to formalize a proof.

Prove $\left(\bigcup\_{\alpha\in J} A\_{\alpha}\right)^c = \left(\bigcap\_{\alpha\in J} A^c\_\alpha\right)$

Any thoughts?