Checks whether a numeric value satisfies the less-than relation with an abstract value of the positive interval domain.
Checks whether a numeric value satisfies the less-than relation with an abstract value of the positive interval domain.