---

Knowledge(ConsensusState) ==  {a:Id| (a  A)}   b:Id fp->   (  V + Top)

---

Definitions :  function: x:A  B[x],  set: {x:A| B[x]} ,  l_member: (x  l),  fpf: a:A fp-> B[a],  Id: Id,  union: left + right,  product: x:A  B[x],  int: ,  top: Top
FDL editor aliases :  consensus-state5

---

Knowledge(ConsensusState)  ==    \{a:Id|  (a  \mmember{}  A)\}    {}\mrightarrow{}  b:Id  fp->  \mBbbZ{}  \mtimes{}  (\mBbbZ{}  \mtimes{}  V  +  Top)


Date html generated: 2010_08_27-AM-12_53_27
Last ObjectModification: 2009_12_23-PM-03_28_20

Home Index