C.a.R. > Applications > Non-Euclidean Geometry > Poincaré Lines
The Poincaré lines are perpendicular to the basic circle.
Here is an animation of this fact.
The points are kept inside the basic circle.