RelReduce

Signature of RelReduce

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: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

                    codom:SORT, < : codom ** codom -> bool,
                    data,
                    to]

Parameter

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

Imports

IMPORT Rel[dom, <, codom, <, data] ONLY rel

Reducing

FUN / : (dom ** codom ** data ** to -> to) ** to ** rel -> to

next node: RelCompose,
prev node: RelMap,
up to node: Subsystem Binary Relations