---

noncelike-signatures(s;es;thr) ==
  e1,e2:E(Sign).  ((signature(e1) = signature(e2))  e1  thr  (e1 = e2))

---

Definitions :  all: x:A. B[x],  es-E-interface: E(X),  ses-sign: Sign,  atom: Atom$n,  ses-sig: signature(e),  implies: P  Q,  ses-thread-member: e  thr,  equal: s = t,  es-E: E
FDL editor aliases :  noncelike-signatures

---

noncelike-signatures(s;es;thr)  ==
    \mforall{}e1,e2:E(Sign).    ((signature(e1)  =  signature(e2))  {}\mRightarrow{}  e1  \mmember{}  thr  {}\mRightarrow{}  (e1  =  e2))


Date html generated: 2010_08_28-AM-02_45_25
Last ObjectModification: 2010_03_14-PM-10_25_10

Home Index