Partially Ordered
type: OrderedType
literal: partial
plain text description: Partial ordered structure.