Find!
x1 is a sequence of members x2, x3, x4, ... in that order.
The ordering rule is simply the order of the arguments, the unordered set is the set with members x2, x3, x4, ...