TeX source:
A\cap A^{c}=S^{c}=\phi