List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Pair
See Rel
See Seq
See Set
See Triple
SIGNATURE RelFilter[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]
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
IMPORT Rel[dom, <, codom, <, data] ONLY rel
FUN | : (dom ** codom ** data -> bool) ** rel -> rel FUN partition : (dom ** codom ** data -> bool) ** rel -> rel ** rel
next node: RelInvert,
prev node: RelNotForUserPurpose,
up to node: Subsystem Binary Relations