For finite graphs, t(H,G) is defined as
- the number of injective maps from V(H) (the vertices of H) to V(G) which are graph homomorphisms...
- ...divided by the number of all injective maps from V(H) to V(G)
But later on, the article talks about V(H,G) for continuous graphs G, which are uncountably infinite objects. We need to add a definition for this case, too. I assume this will be given by an integral, right? --22.214.171.124 (talk) 22:26, 4 July 2013 (UTC)