---

E(X) ==  {e:E| e  X} 

---

Definitions :  set: {x:A| B[x]} ,  es-E: E,  assert: b,  in-eclass: e  X
FDL editor aliases :  es-E-interface

---

E(X)  ==    \{e:E|  \muparrow{}e  \mmember{}\msubb{}  X\} 


Date html generated: 2010_08_27-PM-02_05_58
Last ObjectModification: 2010_01_25-PM-08_22_34

Home Index