Nuprl Definition : es-cut
Cut(X;f) == {c:fset(E(X))| (c closed under [f; X-pred])}
Definitions occuring in Statement :
es-interface-pred: X-pred,
es-E-interface: E(X),
es-eq: es-eq(es),
fset-closed: (s closed under fs),
fset: fset(T),
cons: [a / b],
nil: [],
set: {x:A| B[x]}
FDL editor aliases :
es-cut
Latex:
Cut(X;f) == \{c:fset(E(X))| (c closed under [f; X-pred])\}
Date html generated:
2015_07_21-PM-03_54_36
Last ObjectModification:
2012_02_25-PM-02_53_11
Home
Index