consensus-event(V;A) == Unit + V + ({b:Id| (b 
A)} 
i:
(?i V))
Definitions :
set: {x:A| B[x]} ,
l_member: (x l),
Id: Id,
nat: ,
union: left + right,
product: x:A B[x],
int_seg: {i..j
},
natural_number: $n,
unit: Unit
FDL editor aliases :
consensus-event
consensus-event(V;A) == Unit + V + (\{b:Id| (b \mmember{} A)\} \mtimes{} i:\mBbbN{} \mtimes{} (?\mBbbN{}i \mtimes{} V))
Date html generated:
2010_08_27-AM-12_54_53
Last ObjectModification:
2009_12_23-PM-03_29_20
Home
Index