Гарантирован ли порядок результатов, полученных из понимания списка?

При использовании понимания списка, порядок нового списка гарантирован каким-либо образом? В качестве надуманного примера следует следующее поведение, гарантируемое определением понимания списка:

>> a = [x for x in [1,2,3]]
>> a
[1, 2, 3]

В равной степени гарантируется следующее равенство:

>> lroot = [1, 2, 3]
>> la = [x for x in lroot]
>> lb = []
>> for x in lroot:
     lb.append(x)
>> lb == la
True

В частности, это упорядочение, которое меня интересует здесь.