List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Pair
See Rel
See Seq
See Set
See Triple
SIGNATURE RelReduce[dom:SORT, < : dom ** dom -> bool,
$Date: 1998/06/16 16:00:04 $ ($Revision: 1.1.1.1 $)
codom:SORT, < : codom ** codom -> bool,
data,
to]
dom and codom are the domain and codomain of the relation,
data is the data type of the associated elements. The
functions < are assumed to be total orders.
SORT dom codom data FUN < : dom ** dom -> bool FUN < : codom ** codom -> bool SORT to
IMPORT Rel[dom, <, codom, <, data] ONLY rel
FUN / : (dom ** codom ** data ** to -> to) ** to ** rel -> to
next node: RelCompose,
prev node: RelMap,
up to node: Subsystem Binary Relations