consensus-rel-knowledge(V;A;W;x;y) ==
a:{a:Id| (a 
A)}
consensus-rel-knowledge-step(V;A;W;fst(x);snd(x);fst(y);snd(y);a)
Definitions :
exists: x:A. B[x],
set: {x:A| B[x]} ,
l_member: (x l),
Id: Id,
consensus-rel-knowledge-step: consensus-rel-knowledge-step(V;A;W;x1;x2;y1;y2;a),
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
consensus-rel-knowledge
consensus-rel-knowledge(V;A;W;x;y) ==
\mexists{}a:\{a:Id| (a \mmember{} A)\} . consensus-rel-knowledge-step(V;A;W;fst(x);snd(x);fst(y);snd(y);a)
Date html generated:
2010_08_27-AM-12_54_10
Last ObjectModification:
2009_12_23-PM-03_28_58
Home
Index