next node: SetByPred,
prev node: SetByPredConv,
up to node: Subsystem Sets By Predicate


SetByPredFilter

Signature of SetByPredFilter

List of Import References :
See BOOL
See DENOTATION
See SetByPred

SIGNATURE SetByPredFilter[data]

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

-- filtering infinite sets

-- Parameter
SORT data

IMPORT SetByPred[data] ONLY set

FUN |         : (data -> bool) ** set -> set            -- filter
-- p |  S = all elements of S which fulfill p

FUN partition : (data -> bool) ** set -> set ** set
-- partition(p, S) = (p | S, (~p) | S)


next node: SetByPred,
prev node: SetByPredConv,
up to node: Subsystem Sets By Predicate