B, incidence = 
< a,b > . < a,f(a;b) > > < x,y > .P(x;y)(p) == P(1of(p);2of(p))
is mentioned by
| Def Graph(a:A -- > f(a;b) | b:B) == < vertices = A, edges = AB, incidence = < a,b > . < a,f(a;b) > > | [fun-graph] |
Try larger context:
Graphs