List of Import References :
See BOOL
See DENOTATION
SIGNATURE OrderingByLess[data, <]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- construct ordering relations from < predicate -- Parameter SORT data FUN < : data ** data -> bool -- < is total strict-order ! FUN > >= <= = |= : data ** data -> bool -- the usual orderings constructed from < -- e.g. a = b == ~(a < b) and ~(a > b)
next node: InducedRel,
prev node: OrderingByInjection,
up to node: Subsystem Orderings