Un conjunto es "contable" si existe una función inyectiva desde a los números naturales }.