---

x-f*-y thru i ==  e:E(Sys). ((loc(e) = i)  e is f*(y)  x is f*(e))

---

Definitions :  exists: x:A. B[x],  equal: s = t,  Id: Id,  es-loc: loc(e),  and: P  Q,  fun-connected: y is f*(x),  es-E-interface: E(X)
FDL editor aliases :  path-goes-thru

---

x-f*-y  thru  i  ==    \mexists{}e:E(Sys).  ((loc(e)  =  i)  \mwedge{}  e  is  f*(y)  \mwedge{}  x  is  f*(e))


Date html generated: 2010_08_27-PM-03_22_19
Last ObjectModification: 2009_12_16-AM-08_58_12

Home Index