0
$\begingroup$

Lets say we use the following symbols for operators:

<    (less than) <=   (less than or equal to) >    (greater than) >=   (greater than or equal to) =    (equal to) /=   (not equal to) 

Now, extrapolating from wikipedia...

This type of operator is an equasive operator

=    (equal to) 

These are inequasive operators:

<    (less than) >    (greater than) /=   (not equal to) 

So what are these called?

<=   (less than or equal to) >=   (greater than or equal to) 

Any help appreciated.

  • 0
    Thanks for the hint. I tweaked the tag.2012-05-09

1 Answers 1

1

These relations (or the formulas in which they occur) are called (weak) inequalities. The term "inequality" (for the formula) is used in opposition to "equality" or "equation", not to indicate that they force their subexpressions to be different. So it is perfectly acceptable to say the inequality $x\leq y$ holds, even if it is in fact the case that $x=y$.

  • 0
    So, I guess going down the scale of `quasivity` we have; 'identicality', 'equality', 'weak inequality', 'strict inequality' and 'incomparability'. That's very helpful. Thanks.2012-05-09