Graphs Sections NuprlLIB Doc

Def G H == vmap:(Vertices(G)Vertices(H)), emap:(Edges(G)Edges(H)). Bij(Vertices(G); Vertices(H); vmap) & Bij(Edges(G); Edges(H); emap) & (vmap,vmap) o Incidence(G) = Incidence(H) o emap

is mentioned

In prior sections: graph 1 2 graph 1 3


Graphs Sections NuprlLIB Doc