BIBLIOTHECA OPALICA

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

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

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

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

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

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