. . "The reason it is particularly nice is that two sets are either the same or the subset of another set - this is a great way to define order." . .