Totally Ordered
type: OrderedType
literal: total
plain text description: Totally ordered structure.