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