La relación "sucesor" le da una estructura de orden.