Hyperbolic geometry
There are three models commonly used for hyperbolic geometry: the Klein model, the Poincaré disc model, and the Lorentz model, or hyperboloid model. These models define a real hyperbolic space which satisfies the axioms of a hyperbolic geometry.