In set theory you are right, no particular order.
In Pascal implementations the default set construct is always in order, though.
No, that's plain wrong! A Pascal set is not ordered.
Arrays are ordered, sets are not.
What you probably meant to say is that the underlying type for which the set is declared has to be an ordinal type.
But the set itself has no order. It only contains some element or not.
Let's take a look at set theory - you said they are not ordered, and Pascal sets are - let's take a set of integral numbers A={1, 2, 5}.
What can we say about this set?
We can say that number 2 belongs to it, we can say that number 3 doesn't belong to it. We can notice that its elements can be compared (1<2, 1<5, 2<5), as this is a set of integral numbers, but it has nothing to do with the set itself. The set itself is not ordered, it can be written {2, 5, 1} and this is the same set.
Now, Thaddy, what is different in Pascal sets?