Nuprl Definition : loc-on-path

loc-on-path(es;i;L) ==  (i ∈ map(λe.loc(e);L))



Definitions occuring in Statement :  es-loc: loc(e) Id: Id l_member: (x ∈ l) map: map(f;as) lambda: λx.A[x]
FDL editor aliases :  loc-on-path loc-on-path

Latex:
loc-on-path(es;i;L)  ==    (i  \mmember{}  map(\mlambda{}e.loc(e);L))



Date html generated: 2016_05_16-AM-09_53_33
Last ObjectModification: 2013_03_25-PM-01_51_27

Theory : new!event-ordering


Home Index