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