---

non-void(d) ==  xdom(d). A=d(x)   A

---

Definitions :  fpf-all: xdom(f). v=f(x)   P[x; v]
FDL editor aliases :  non-void-decl

---

non-void(d)  ==    \mforall{}x\mmember{}dom(d).  A=d(x)  {}\mRightarrow{}    A


Date html generated: 2010_08_27-AM-12_00_37
Last ObjectModification: 2008_02_27-PM-09_46_19

Home Index