[복잡]

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

1. how should we define a product of an element on a set of elements, denoted above with #.
2. how should we mathematically define the language "significantly bigger".

---

Idea for 1

•   e # G = ratio of links from e into G

Idea for 2