up:: Set Complement Let , with the base space. Then we have that . By contrapositive, we have that 1. Thus, . Footnotes And pressuposing always that . ↩