Attempts to get at such formal definitions have been made at formal definitions of eye. Let's link from there or merge these pages.

Secondly, this formal definition includes "adjacent", "string", "stones of a player". I think these should be formalized as well and linked to. Dieter

I think the independent existence of this page makes it easier to read pages such as force, therefore I would be opposed to the idea of merging.