수학에서 집합의 여유한(餘有限, cofinite) 부분집합은 여집합이 유한한 부분집합이다. 다시 말하면 여유한 부분집합은 유한한 갯수의 원소를 제외하고는 원래 집합의 모든 원소를 포함한다. 여집합이 유한하지는 않지만 가산이면 여가산이라 한다.
