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


RelInvert

Signature of RelInvert

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

SIGNATURE RelInvert[dom, < : dom ** dom -> bool,

$Date: 1998/06/16 16:00:04 $ ($Revision: 1.1.1.1 $)

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

Parameter

SORT dom codom data
FUN < : dom ** dom -> bool
FUN < : codom ** codom -> bool

Imports

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

Inverting a Relation

FUN ~ : rel[dom, <, codom, <, data] -> rel[codom, <, dom, <, data]


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