Equivalentemente, puede decirse que un conjunto "A" es bien ordenado si es totalmente ordenado y bien fundado.