¿Python tiene una lista ordenada?

Por lo que quiero decir una estructura con:

O (log n) complejidad parax.push() operacionesO (log n) complejidad para encontrar un elemento.O (n) complejidad para computarlist(x) que será ordenado

También tuve una pregunta relacionada sobre el rendimiento delist(...).insert(...) que es ahoraaquí.