Nuprl Definition : sp-lub
lub(n.A[n]) == λn.let i,j = coded-pair(n) in A[i] j
Definitions occuring in Statement :
coded-pair: coded-pair(m),
apply: f a,
lambda: λx.A[x],
spread: spread def
Definitions occuring in definition :
lambda: λx.A[x],
spread: spread def,
coded-pair: coded-pair(m),
apply: f a
FDL editor aliases :
sp-lub
Latex:
lub(n.A[n]) == \mlambda{}n.let i,j = coded-pair(n) in A[i] j
Date html generated:
2019_10_31-AM-06_35_56
Last ObjectModification:
2015_09_23-AM-09_28_56
Theory : synthetic!topology
Home
Index