Nuprl Definition : lg-edge
lg-edge(g;a;b) == (a ∈ lg-in-edges(g;b))
Definitions occuring in Statement :
lg-in-edges: lg-in-edges(g;x),
l_member: (x ∈ l),
int: ℤ
FDL editor aliases :
lg-edge
Latex:
lg-edge(g;a;b) == (a \mmember{} lg-in-edges(g;b))
Date html generated:
2015_07_22-PM-00_28_44
Last ObjectModification:
2012_02_25-PM-03_34_39
Home
Index