Contábel

Na Galipedia, a wikipedia en galego.

Sexa C un conxunto, e f:C \to  \mathbb{N}, onde \mathbb{N} é o conxunto dos números naturais (véxase Número natural), unha función bixectiva. Decimos entón que o conxunto C, é un conxunto Contábel ou Numerábel.

Un exemplo de conxunto contábel é o conxunto dos números pares, xa que a función f:P \to N, definida como f(p)=\frac{p}{n} onde p \in P,n \in \mathbb{N} é unha función bixectiva.