[skaushik92]

Just nitpicking here but doesn’t the property of being ordered follow from being able to choose between options at any instance?

One analogy that popped up in my mind is sorting: if you can provide an answer to a choice between any two options in a list, in effect you can use that to order the list.

[xigoi]

That's an unrelated meaning of the word “order”. In this case, we have statements that all get executed, but in a specific order. There's no choosing between anything. What you're referring to is ordering in the mathematical sense, which means defining what is “bigger” in a certain sense than something else.