next node: RelReduce,
prev node: RelInvert,
up to node: Subsystem Binary Relations

RelMap

Signature of RelMap

List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Pair
See Rel
See Seq
See Set
See Triple 

SIGNATURE RelMap[domFrom:SORT, < : domFrom ** domFrom -> bool,

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $) 

                 codomFrom:SORT, < : codomFrom ** codomFrom -> bool,
                 dataFrom,
                 domTo:SORT, < : domTo ** domTo -> bool, 
                 codomTo:SORT, < : codomTo ** codomTo -> bool,
                 dataTo]

Parameter

Parameters of the "From" relation 

SORT domFrom codomFrom dataFrom
FUN < : domFrom ** domFrom -> bool
    < : codomFrom ** codomFrom -> bool

Parameters of the "To" relation 

SORT domTo codomTo dataTo
FUN < : domTo ** domTo -> bool
    < : codomTo ** codomTo -> bool

Imports

IMPORT Rel[domFrom, <, codomFrom, <, dataFrom] ONLY rel
       Rel[domTo, <, codomTo, <, dataTo] ONLY rel

Mapping

FUN * : (domFrom -> domTo) ** (codomFrom -> codomTo) ** (dataFrom -> dataTo) **
         rel[domFrom, <, codomFrom, <, dataFrom] ->
         rel[domTo, <, codomTo, <, dataTo]

FUN * : (domFrom ** codomFrom ** dataFrom -> domTo ** codomTo ** dataTo) **
         rel[domFrom, <, codomFrom, <, dataFrom] ->
         rel[domTo, <, codomTo, <, dataTo]

next node: RelReduce,
prev node: RelInvert,
up to node: Subsystem Binary Relations