Minimality of the Kleinian limit set (source code)

= Minimality of the Kleinian limit set

Every nonempty closed boundary subset invariant under a <non-elementary Kleinian group> contains the <Kleinian limit set>. Such a subset cannot be a singleton. Its hyperbolic convex hull contains an interior point, whose orbit lies in the hull; in the Klein ball model the boundary of this hull is contained in the original closed boundary subset.