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