餘有限空間

若給定一個集合 ， 爲的子集 ， 使得差集爲有限集合 ， 則稱爲的餘有限集 （ cofinite ） 。 類似地 ， 若給定一個集合 ， 爲的子集 ， 使得差集爲可數集 ， 則稱爲餘可數集 （ cocountable ） 。 上述的東西都是一些很自然地推廣 ， 當我們開始從有限集合進入到無限集合時 。