Tag: trichotomy property of inequality