is mentioned by

Def adjl-graph(G) == < vertices = G.size, edges = x:G.size||G.out(x)||, incidence = e. < 1of(e),(G.out(1of(e)))[2of(e)] > >	[adjl-graph]
Def vertex-count(the_obj;x.P(x)) == ||vertex-subset(the_obj;x.P(x))||	[vertex-count]

In prior sections: list 1 mb basic mb list 1 mb list 2 graph 1 1 graph 1 2

Try larger context: Graphs