Esta es la definición clave que determina si una orden total es también un buen orden.