h use their numerical
        value. Note that a total ordering is defined for all possible abstract
        representations.
        TrĶ