Next: Testing of Terms, Up: Terms [Contents][Index]
Two terms are compared according to the standard ordering, which is defined below. Items listed at the beginning come before the items listed at the end. For example, numbers are less than atoms in the standard ordering.
The above ordering is used when constructing sets.
The following relations use the above ordering to test terms.
Succeeds if Term1
is greater thanTerm1
in the above ordering.
Succeeds if Term1
is greater than or equal to Term2
in the above ordering.
Succeeds if Term1
is less thanTerm1
in the above ordering.
Succeeds if Term1
is less than or equal to Term2
in the above ordering.