An open horoball in hyperbolic three-space is an isometric image of {(z,r):r>r0}\{(z,r):r>r_0\}, r0>0r_0>0, in the upper-half-space model. Its boundary in hyperbolic space is a ; its ideal center is the same as that of the boundary.

Models and convention

For a finite ideal center it is the interior of a Euclidean ball tangent to the boundary plane. A closed horoball also includes its bounding horosphere, but never includes the ideal center as a point of hyperbolic space.

Moving farther into an end

At center \infty, increasing r0r_0 shrinks the horoball. This produces nested neighborhoods of the same cusp end.