Un corolario simple y útil de los dos teoremas anterioresB es que si es un conjunto dado contablemente infinito, entonces un conjuntoA es contable si y solo si existe una función uno a uno\(f\...Un corolario simple y útil de los dos teoremas anterioresB es que si es un conjunto dado contablemente infinito, entonces un conjuntoA es contable si y solo si existe una función uno a unof desdeA dentroB, si y solo si existe una funcióng de BsobreA. También,[a,b)=(a,b)∪{a},(a,b]=(a,b)∪{b}, y[a,b]=(a,b)∪{a,b}, entonces(a,b)≈[a,b)≈(a,b]≈[a,b]≈\R.
