Description: A strict order relation is linear (satisfies trichotomy). (Contributed by NM, 21-Jan-1996)