The Klein-Beltrami model of hyperbolic geometry consists of an open disk in the Euclidean plane whose
open chords correspond to hyperbolic lines. Two lines 
and 
are then considered parallel if their chords fail to intersect
and are perpendicular under the following conditions,
1. If at least one of 
and 
is a diameter of the disk, they are
hyperbolically perpendicular iff they are perpendicular in
the Euclidean sense.
2. If neither is a diameter, 
is perpendicular to 
iff the Euclidean line extending 
passes through the pole of 
(defined as the point of intersection of the tangents to the
disk at the "endpoints" of 
).
There is an isomorphism between the Poincaré hyperbolic disk model and the Klein-Beltrami model. Consider a Klein disk in Euclidean three-space with a sphere of the same radius seated atop it, tangent at the origin. If we now project chords on the disk orthogonally upward onto the sphere's lower hemisphere, they become arcs of circles orthogonal to the equator. If we then stereographically project the sphere's lower hemisphere back onto the plane of the Klein disk from the north pole, the equator will map onto a disk somewhat larger than the Klein disk, and the chords of the original Klein disk will now be arcs of circles orthogonal to this larger disk. That is, they will be Poincaré lines. Now we can say that two Klein lines or angles are congruent iff their corresponding Poincaré lines and angles under this isomorphism are congruent in the sense of the Poincaré model.
