a non-Euclidean geometry in which it is assumed that through any point there are two or more parallel lines that do not intersect a given line in the plane
(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