Como cualquier conjunto de ordinales es siempre un conjunto bien ordenado, siempre existirá un mínimo con esa definición.