Relation <


Slots on this relation:

Documentation:
The < relation is defined for quantities. It holds on quantities when it holds on their magnitudes.

and also:

The sentence {tt (< $tau_1$ $tau_2$)} is true if and only if the number denoted by $tau_1$ is less than the number denoted by $tau_2$.
Instance-Of: Relation, Relation-extended-to-function-quantities, Relation-extended-to-quantities
Arity: 2