En matemáticas , un subconjunto contable de un conjunto X es un subconjunto Y cuyo complemento en X es un conjunto contable . En otras palabras, Y contiene todos los elementos de X, salvo una cantidad contable . Mientras que los números racionales son un subconjunto contable de los reales, por ejemplo, los números irracionales son un subconjunto contable de los reales. Si el complemento es finito, entonces se dice que Y es cofinito .
σ-álgebras
El conjunto de todos los subconjuntos de X que son contables o contables forma un σ-álgebra , es decir, está cerrado bajo las operaciones de uniones contables, intersecciones contables y complementación. Este σ-álgebra es el álgebra contable-cocountable en X . Es el σ-álgebra más pequeño que contiene todos los conjuntos únicos .
Topología
La topología de los complementos numerables (también llamada la "topología complemento contable") en cualquier conjunto X está formado por el conjunto vacío y todos los subconjuntos de cocountable X .