hyperbolic geometry: (mathematics) a non-Euclidean geometry in which the parallel axiom is replaced by the assumption that through any point in a plane there are two or more lines that do not intersect a given line in the plane
pure mathematics: the branches of mathematics that study and develop the principles of mathematics for their own sake rather than for their immediate usefulness
typesetting machine: a printer that sets textual material in type