Cut(X;f) == {c:fset(E(X))| (c closed under [f; X-pred])}
Definitions :
set: {x:A| B[x]} ,
fset: fset(T),
fset-closed: (s closed under fs),
es-E-interface: E(X),
es-eq: es-eq(es),
cons: [car / cdr],
es-interface-pred: X-pred,
nil: []
FDL editor aliases :
es-cut
Cut(X;f) == \{c:fset(E(X))| (c closed under [f; X-pred])\}
Date html generated:
2010_08_27-PM-03_12_29
Last ObjectModification:
2009_12_16-AM-08_48_56
Home
Index