If AcapB=AA \\cap B = AAcapB=A, then:
AsubsetBA \\subset BAsubsetB
BsubsetAB \\subset ABsubsetA
A=emptysetA = \\emptysetA=emptyset
AAA and BBB are disjoint