---

e has* a ==  e':E. ((e' has a)  (e' (->>^*) e))

---

Definitions :  exists: x:A. B[x],  and: P  Q,  event-has: (e has a),  infix_ap: x f y,  rel_star: R^*,  es-E: E,  ses-info-flow: ->>
FDL editor aliases :  event-has*

---

e  has*  a  ==    \mexists{}e':E.  ((e'  has  a)  \mwedge{}  (e'  (->>$^{\mbox{\small{*}}}$)  e))


Date html generated: 2010_08_28-AM-02_07_59
Last ObjectModification: 2010_02_22-PM-03_19_47

Home Index