mula_1的子集，使得差集formula_4为有限集合，则称formula_2为formula_1的余有限集（cofinite）。类似地，若给定一个集合formula_1，formula_2为formula_1的子集，使得差集formula_4为可数集，则称formula_2为余可数集（cocountable）。上述的东西都是一些很自然地推广，当我们开始从有限集合进入到无限集合时。
余有限拓扑.
余有限拓扑.余有限拓扑是收集集合formula_1内所