---

e p< e' ==  n:. (p-graph(E;p^n) e' e)

---

Definitions :  exists: x:A. B[x],  nat_plus: ,  apply: f a,  p-graph: p-graph(A;f),  es-E: E,  p-fun-exp: f^n
FDL editor aliases :  es-p-locl

---

e  p<  e'  ==    \mexists{}n:\mBbbN{}\msupplus{}.  (p-graph(E;p\^{}n)  e'  e)


Date html generated: 2010_08_27-AM-09_44_20
Last ObjectModification: 2009_12_17-PM-10_52_20

Home Index