Nuprl Definition : ss-mem-basic
x ∈ B == (∀p∈B.let f,r = p in f(x) < r)
Definitions occuring in Statement :
ss-ap: f(x),
rless: x < y,
l_all: (∀x∈L.P[x]),
spread: spread def
Definitions occuring in definition :
l_all: (∀x∈L.P[x]),
spread: spread def,
rless: x < y,
ss-ap: f(x)
FDL editor aliases :
ss-mem-basic
Latex:
x \mmember{} B == (\mforall{}p\mmember{}B.let f,r = p in f(x) < r)
Date html generated:
2020_05_20-PM-01_21_49
Last ObjectModification:
2018_07_06-PM-01_48_24
Theory : intuitionistic!topology
Home
Index