cofinite

的余有限集（cofinite）。类似地，若一个集 的子集 ，使得补集 为可数集，则称 为余可数集（cocountable）。