es una subyección de un conjunto numerable al conjunto y el corolario implica que es contable.