next node: InducedRel,
prev node: OrderingByInjection,
up to node: Subsystem Orderings


OrderingByLess

Signature of OrderingByLess

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