1)For difference, do not use the whole space X, use instead.
2)Another equivalent definition of is , and is ,
Suppose is a -ring. Suppose . How would we show that ?
We know that . Likewise, how would we show that and ? The former is the set of points that are in infinitely many . The latter is the set of points that are in all but a finite number of .