Nuprl Definition : es-interface-empty
es-interface-empty(es;I) == ∀e:E. (¬↑e ∈b I)
Definitions occuring in Statement :
in-eclass: e ∈b X,
es-E: E,
assert: ↑b,
all: ∀x:A. B[x],
not: ¬A
FDL editor aliases :
es-interface-empty
es-interface-empty(es;I) == \mforall{}e:E. (\mneg{}\muparrow{}e \mmember{}\msubb{} I)
Date html generated:
2015_07_17-PM-00_49_49
Last ObjectModification:
2012_02_25-PM-01_24_22
Home
Index