Nuprl Definition : open-isect
open-isect(A;B) == λx.A x ∧ B x
Definitions occuring in Statement :
sp-meet: f ∧ g,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
sp-meet: f ∧ g,
apply: f a
FDL editor aliases :
open-isect
Latex:
open-isect(A;B) == \mlambda{}x.A x \mwedge{} B x
Date html generated:
2019_10_31-AM-07_18_48
Last ObjectModification:
2015_09_23-AM-09_28_58
Theory : synthetic!topology
Home
Index