Geometry :: Definition :: Geometry
Let \(S\) be a nonempty set and \(G\) a transformation group on \(S\). The pair \((S,G)\) is called a geometry or a model of a geometry, the set \(S\) is the underlying space of the geometry, and the set \(G\) is the transformation group of the geometry.