Upper Half-Plane Model
(also attributed to Poincare)
The points are Euclidean points, (x, y), from half of the plane without the border (the border is the x axis).
Usually, {(x,y)| yɬ }. Notice that the strict equality ensures that the x axis is NOT included. No comment about x ensures x is any real number.