Category:Ordinal Membership is Trichotomy