Example 0.1 Let us prove the useful fact that if A, B ™ X with Ac ™ B, then it is true that Bc ™ A. To show this, we simply note that x " Bc implies x ! B, which then implies x ! Ac, and hence x " A.