Trichotomy Law

Every Real Number is Negative, 0, or Positive.