Un corolario simple y útil de los dos teoremas anteriores\(B\) es que si es un conjunto dado contablemente infinito, entonces un conjunto\(A\) es contable si y solo si existe una función uno a uno\(f\...Un corolario simple y útil de los dos teoremas anteriores\(B\) es que si es un conjunto dado contablemente infinito, entonces un conjunto\(A\) es contable si y solo si existe una función uno a uno\(f\) desde\(A\) dentro\(B\), si y solo si existe una función\(g\) de \(B\)sobre\(A\). También,\( [a, b) = (a, b) \cup \{a\} \),\( (a, b] = (a, b) \cup\{b\} \), y\( [a, b] = (a, b) \cup \{a, b\} \), entonces\( (a, b) \approx [a, b) \approx (a, b] \approx [a, b]\approx \R \).
