Nuprl Definition : set-ss
set-ss(ss;x.P[x]) == Point={x:Point| P[x]} #=λx,y. x # ysymm=ss."#symm"cotrans=ss."#or"
Definitions occuring in Statement :
mk-ss: mk-ss,
ss-sep: x # y,
ss-point: Point,
set: {x:A| B[x]} ,
lambda: λx.A[x],
token: "$token",
record-select: r.x
Definitions occuring in definition :
token: "$token",
record-select: r.x,
ss-sep: x # y,
lambda: λx.A[x],
ss-point: Point,
set: {x:A| B[x]} ,
mk-ss: mk-ss
FDL editor aliases :
set-ss
Latex:
set-ss(ss;x.P[x]) == Point=\{x:Point| P[x]\} \#=\mlambda{}x,y. x \# ysymm=ss."\#symm"cotrans=ss."\#or"
Date html generated:
2016_11_08-AM-09_12_03
Last ObjectModification:
2016_11_02-AM-11_53_32
Theory : inner!product!spaces
Home
Index