other well-known relations are the equivalence relation and the order relation. that way, sets of things can be ordered: take the first element of a set, it is either equal to the element looked for, or there is an order relation that can be used to classify it. that way, the whole set can be classified (i.e., compared to some arbitrarily chosen element).