Nuprl Definition : graph-rcvs
graph-rcvs(S;G;a;b;j) == mapfilter(λi.rcv((link(a i j) from i to j),b);λi.j ∈b G i);S)
Definitions occuring in Statement :
rcv: rcv(l,tg),
mk_lnk: (link(n) from i to j),
id-deq: IdDeq,
deq-member: x ∈b L),
mapfilter: mapfilter(f;P;L),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
graphs-rcvs
graph-rcvs(S;G;a;b;j) == mapfilter(\mlambda{}i.rcv((link(a i j) from i to j),b);\mlambda{}i.j \mmember{}\msubb{} G i);S)
Date html generated:
2015_07_17-AM-09_13_31
Last ObjectModification:
2012_02_25-AM-10_53_35
Home
Index