Graphs
Sections
NuprlLIB
Doc
Def
Graph(a:A -- > f(a;b) | b:B) == < vertices = A, edges = A
B, incidence =
< a,b > . < a,f(a;b) > >
is mentioned
In prior sections:
graph
1
2
Graphs
Sections
NuprlLIB
Doc