---

inhabited-classrel(eo;T;X;e) ==  v:T. v  X(e)

---

Definitions occuring in Statement :  classrel: v  X(e),  exists: x:A. B[x],  squash: T
Definitions :  squash: T,  exists: x:A. B[x],  classrel: v  X(e)
FDL editor aliases :  inhabited-classrel

---

inhabited-classrel(eo;T;X;e)  ==    \mdownarrow{}\mexists{}v:T.  v  \mmember{}  X(e)


Date html generated: 2011_08_16-AM-11_29_38
Last ObjectModification: 2011_06_08-PM-01_11_37

Home Index