En matemáticas , un subconjunto X terminado de un conjunto Y es un subconjunto de Y cuyo complemento es finito .
Contamos con las siguientes propiedades: