---

P  Q ==  e:E. (P e  Q e)

---

Definitions :  all: x:A. B[x],  es-E: E,  iff: P  Q,  apply: f a
FDL editor aliases :  es-equiv

---

P  \mequiv{}  Q  ==    \mforall{}e:E.  (P  e  \mLeftarrow{}{}\mRightarrow{}  Q  e)


Date html generated: 2010_08_27-AM-09_29_52
Last ObjectModification: 2009_12_16-AM-01_05_41

Home Index