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: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
sp-lub: lub(n.A[n]),
apply: f 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