consensus-rcv(V;A) == V + ({b:Id| (b 
A)} 
V)
Definitions :
union: left + right,
set: {x:A| B[x]} ,
l_member: (x l),
Id: Id,
product: x:A B[x],
nat:
FDL editor aliases :
consensus-rcv
consensus-rcv(V;A) == V + (\{b:Id| (b \mmember{} A)\} \mtimes{} \mBbbN{} \mtimes{} V)
Date html generated:
2010_08_27-AM-12_56_14
Last ObjectModification:
2009_12_23-PM-03_31_23
Home
Index