Inequality

WMA link


Inequality

is the head of expressions involving different inequality
operators (at least temporarily). Thus, it is possible to
write chains of inequalities.

GreaterEqual
Less