LessThanOrEqualTo Relation

A LessThanOrEqualTo Relation is a Total Weak Partial Order Relation that ....

• AKA: ≤, LEQ, LessThanOrEqualTo, Less Than or Equal To Relation.
• Example(s):
  • ≤(3,3) ⇒ True.
  • ≤(3,4) ⇒ True.
  • ≤(4,3) ⇒ False.
  • [a,b]={x|a≤x≤b}, a Closed Interval.
  • …
• Counter-Example(s):
  • [math]\displaystyle{ f }[/math](3,3) ⇒ False.
  • [math]\displaystyle{ f }[/math](3,4) ⇒ True.
• See: Number Line, LessThan Relation, Ordering Relation, GreaterThanOrEqualTo Relation, Minimize.

---