Nuprl Definition : es-interface-predicate
{I} == λe.(↑e ∈b I)
Definitions occuring in Statement :
in-eclass: e ∈b X,
assert: ↑b,
lambda: λx.A[x]
FDL editor aliases :
es-interface-predicate
\{I\} == \mlambda{}e.(\muparrow{}e \mmember{}\msubb{} I)
Date html generated:
2015_07_17-PM-00_51_04
Last ObjectModification:
2012_02_25-PM-01_25_08
Home
Index