lg-connected(g;a;b) == a 
x,y.lg-edge(g;x;y)^+ b
Definitions :
infix_ap: x f y,
rel_plus: R^+,
int_seg: {i..j
},
natural_number: $n,
lg-size: lg-size(g),
lambda: x.A[x],
lg-edge: lg-edge(g;a;b)
FDL editor aliases :
lg-connected
lg-connected(g;a;b) == a \mlambda{}x,y.lg-edge(g;x;y)\^{}+ b
Date html generated:
2010_08_27-PM-03_42_24
Last ObjectModification:
2010_05_27-PM-01_20_48
Home
Index