The MathResource
non-Euclidean geometry,
n. the study of geometrical systems in which the parallel postulate of Euclidean geometry is replaced, with consequent fundamental changes in the properties of the space. If there are at least two parallels to a given line through the same point, the result is Lobachevskian geometry; if there are no parallels, it is elliptic geometry.