Cualquier conjunto que pueda ponerse en correspondencia biunívoca con los números naturales es un conjunto numerable.