Как объединить два списка (с определенной последовательностью чисел), сохранив этупоследовательность, в Python?
a, b, с = [1, 3, 7, 9], [2, 5, 10], []
while a and b:
    с.append((a if a[-1] > b[-1] else b).pop())
print([*a, *b, *с[::-1]]
Есть. 

1. Сложить два списка, результат отсортировать. Сложность O(n*log n)
2. «Слияние отсортированных списков». Алгоритм нагуглить, написать самому. Сложность O(n+m)

Но если списки не размером по несколько миллионов, проще и быстрее первый вариант