| | [[File:Horocycle normals.svg|thumb|The disk model of the hyperbolic plane, with a horosphere in blue.]] | | [[File:Horocycle normals.svg|thumb|The disk model of the hyperbolic plane, with a horosphere in blue.]] |
| - | # An <math>n-1</math>[[-dimensional]] [[hyperplane]] in [[hyperbolic]] <math>n</math>-dimensional [[space]]: it is (in the [[Poincaré disk]]) [[Euclidean]]-[[tangent]] at [[infinity]] to the [[boundary]] [[sphere]] or (in the upper-half-space [[model]]) Euclidean-[[parallel]] to the boundary hyperplane.{{attention|en|topic=mathematics|comment=please check this for accuracy}} | + | # An <math>n-1</math>[[-dimensional]] [[hyperplane]] in [[hyperbolic]] <math>n</math>-dimensional [[space]]: it is (in the [[Poincaré disk]]) [[Euclidean]]-[[tangent]] at [[infinity]] to the [[boundary]] [[sphere]] or (in the upper-half-space [[model]]) Euclidean-[[parallel]] to the boundary hyperplane. |