So one of the axioms of outer measure is the following:
Countable subadditivity axiom: If then .
Well it's not really an axiom since we want/have to prove it. But what is the point of using the " trick" to prove this? E.g. we have the following:
This is analogous to for some (with ). But what is special about ? Why not just use ?