Si el tipo base también está ordenado, entonces queda establecida una