Graphs
Sections
NuprlLIB
Doc
Def
Graph(x,y:T. R(x;y)) == < vertices = T, edges = {p:(T
T)| R(1of(p);2of(p)) }, incidence = Id >
is mentioned
In prior sections:
graph
1
2
Graphs
Sections
NuprlLIB
Doc
T)| R(1of(p);2of(p)) }, incidence = Id >