is mentioned by

Def Graph(x,y:T. R(x;y)) == < vertices = T, edges = {p:(TT)| R(1of(p);2of(p)) }, incidence = Id >	[rel-graph]
Def Incidence(t) == 1of(2of(2of(t)))	[gr_f]
Def Edges(t) == 1of(2of(t))	[gr_e]
Def Vertices(t) == 1of(t)	[gr_v]
Def |a| == 1of(a)	[array-length]

In prior sections: core mb list 1 prog 1 graph 1 1

Try larger context: Graphs