the_obj:GraphObject(the_graph), P:(V
). no_repeats(V;vertex-subset(the_obj;x.P(x))) & (x:V. (x 
vertex-subset(the_obj;x.P(x))) 
P(x))
l,x. if P(x)
[x / l] else l fi),nil)
is mentioned by
| Thm* For any graph
the_obj:GraphObject(the_graph), P:(V). no_repeats(V;vertex-subset(the_obj;x.P(x))) & (x:V. (x vertex-subset(the_obj;x.P(x))) P(x)) | [vertex-subset-properties] |
| Def vertex-count(the_obj;x.P(x)) == ||vertex-subset(the_obj;x.P(x))|| | [vertex-count] |
Try larger context:
Graphs