[PostScript]
TotalOrder (T): trait
  includes IsTO, DerivedOrders
  implies
    PartialOrder,
    StrictTotalOrder (<, T),
    TotalOrder (>= for <=, <= for >=,
                > for <, < for >)
    T partitioned by <
[Table of Contents] [Index]