---

ds-agrees-on(ds;x;T) ==  (x  dom(ds))  T  ds(x)

---

Definitions :  implies: P  Q,  assert: b,  fpf-dom: x  dom(f),  ext-eq: A  B,  fpf-ap: f(x),  id-deq: IdDeq
FDL editor aliases :  ds-agrees-on

---

ds-agrees-on(ds;x;T)  ==    (\muparrow{}x  \mmember{}  dom(ds))  {}\mRightarrow{}  T  \mequiv{}  ds(x)


Date html generated: 2010_08_27-AM-12_04_03
Last ObjectModification: 2008_02_27-PM-09_50_26

Home Index