This section describes concepts that establish relationships and orderings on values of possibly differing object types.