Nuprl Definition : setmem
(x ∈ s) == coWmem(T.T;x;s)
Definitions occuring in Statement :
coWmem: coWmem(a.B[a];z;w)
Definitions occuring in definition :
coWmem: coWmem(a.B[a];z;w)
FDL editor aliases :
setmem
Latex:
(x \mmember{} s) == coWmem(T.T;x;s)
Date html generated:
2018_07_29-AM-09_49_57
Last ObjectModification:
2018_07_11-AM-11_20_59
Theory : constructive!set!theory
Home
Index