Hyperbolic circle
= Hyperbolic circle
A hyperbolic circle of centre $o$ and radius $R>0$ is the <level set> $\{x:d_{\mathbb H}(o,x)=R\}$ for the <hyperbolic distance>. Equally spaced directions from its centre give vertices of a regular geodesic polygon.