余有限空间

余有限空间是一个数学名词。若一个集X的子集Y，使得补集X − Y为有限集，则称Y为X的余有限集（cofinite）。