Una generalización de la noción de conjunto bien ordenado es la de conjunto bien fundado.