For all e in G, and for all f not in G, e # G is significantly bigger than f # G.
By above definition, we should be able to define a group G out of a linked structure.
Remainig problems are
- how should we define a product of an element on a set of elements, denoted above with #.
- how should we mathematically define the language "significantly bigger".
Idea for 1
- e # G = ratio of links from e into G