List of Import References :
See BOOL
See DENOTATION
SIGNATURE OrderingByLess[data, <]
$Date: 1998/06/16 16:00:13 $ ($Revision: 1.1.1.1 $)
-- 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