În matematică , un subset X cofinuit al unei mulțimi Y este un subset de Y al cărui complement este finit .
Avem următoarele proprietăți: