Nuprl Definition : es-E-interface
E(X) == {e:E| ↑e ∈b X}
Definitions occuring in Statement :
in-eclass: e ∈b X,
es-E: E,
assert: ↑b,
set: {x:A| B[x]}
FDL editor aliases :
es-E-interface
E(X) == \{e:E| \muparrow{}e \mmember{}\msubb{} X\}
Date html generated:
2015_07_17-PM-00_52_03
Last ObjectModification:
2012_02_25-PM-01_25_54
Home
Index