Triangle of these conditions hold: (a) each of the angles is positive, and (b) the angles sum to 180°. If degenerate triangles are permitted, angles of 0° are permitted. Three positive angles "α", "β", and "γ", each of them less than 180°, are the angles of a triangle if and only if any one of the following conditions holds: the last equality applying only if none of the angles is 90° (so the tangent function's value is always finite). There are thousands of different constructions that find a special point associated with (and often inside) a triangle, satisfying some unique property:
Triangle group of these relations and that Δ("l,m,n") is a discrete group of motions of the corresponding space. Thus a triangle group is a reflection group that admits a group presentation An abstract group with this presentation is a Coxeter group with three generators. Given any natural numbers "l", "m", "n" > 1 exactly one of the classical two-dimensional geometries (Euclidean, spherical, or hyperbolic) admits a triangle with the angles (π/l, π/m, π/n), and the space is tiled by reflections of the triangle. The sum of the angles of the triangle determines the type of the geometry by the Gauss–Bonnet theorem: it