Nuprl Definition : open-union

open-union(n.A[n]) ==  λx.lub(n.A[n] x)



Definitions occuring in Statement :  sp-lub: lub(n.A[n]) apply: a lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] sp-lub: lub(n.A[n]) apply: a
FDL editor aliases :  open-union

Latex:
open-union(n.A[n])  ==    \mlambda{}x.lub(n.A[n]  x)



Date html generated: 2019_10_31-AM-07_18_52
Last ObjectModification: 2015_09_23-AM-09_28_59

Theory : synthetic!topology


Home Index