餘有限空間 若給定一個集合 X displaystyle X  Y displaystyle Y 為 X displaystyle X 的子集使得差集 X  Y displaystyle XY 為有限集合則稱 Y displaystyle Y 為 X displaystyle X 的餘有限集cofinite 類似地若給定一個集合 X displaystyle X  Y displaystyle Y 為 X displaystyle X 的子集使得差集 X  Y displaystyle XY 為可數集則稱 Y displaystyle Y 為餘可數集cocountable 上述的東西都是一些很自然地推廣當我們開始從有限集合進入到無限集合時