Nuprl Definition : lg-connected
lg-connected(g;a;b) == a λx,y. lg-edge(g;x;y)+ b
Definitions occuring in Statement :
lg-edge: lg-edge(g;a;b),
lg-size: lg-size(g),
rel_plus: R+,
int_seg: {i..j-},
infix_ap: x f y,
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
lg-connected
Latex:
lg-connected(g;a;b) == a \mlambda{}x,y. lg-edge(g;x;y)\msupplus{} b
Date html generated:
2015_07_22-PM-00_29_02
Last ObjectModification:
2012_02_25-PM-03_34_51
Home
Index