Positive Number Relation

A Positive Number Relation is a Unary Relation that indicates whether a Number is a Positive Number or a Negative Number.

• AKA: PositiveNumber.
• Example(s):
  • PositiveNumber(x) ⇒ True If [math]\displaystyle{ x }[/math] > 0; False otherwise.
• See: Negative Number Relation.

---