De manera que todo conjunto de ordinales está totalmente ordenado y más aún, todo conjunto de ordinales es bien ordenado.